Closed cproc closed 4 months ago
Related to https://github.com/genodelabs/genode/issues/5122
Fixed by b4b6228
Related to https://github.com/genodelabs/genode/issues/5122