nfeske/genode — comment on commit cc4d1193b56a38ea45c3e4f0cfebd508a21438ac
File: ports/src/noux/main.cc line 351
By nfeske:

I just created issue #70