22 Nov
2018
22 Nov
'18
3:38 p.m.
Hi Wouter,
That explains it. Thanks for your response. I've created a pull request for this fix: https://github.com/genodelabs/genode-world/pull/121
that's very much appreciated. I merged it right away. Thank you for contributing! :-)
Cheers Norman
--
Dr.-Ing. Norman Feske
Genode Labs
https://www.genode-labs.com · https://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth