mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-23 04:48:17 +00:00
dc90740549
The options are not always set, which throws exception. This leads to not accepting the selected IP address. Fixes #3716 |
||
---|---|---|
.. | ||
app | ||
drivers | ||
init | ||
lib | ||
server | ||
test |