12 Sep
2012
12 Sep
'12
5:52 p.m.
Hello,
I created a new issue for this problem in our bug tracker (https://github.com/genodelabs/genode/issues/355), including a patch: https://github.com/cproc/genode/commit/d44104bfbaf12e2c1b0500a101a56e6c5f0e0...
Christian