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 _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
