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

`\"` shouldn't work and `"` should, if this is intended to be XML. :)