Closed cproc closed 8 months ago
Related to https://github.com/genodelabs/genode/issues/5116
Fixed by d8cf013.
Merged to staging.
Related to https://github.com/genodelabs/genode/issues/5116