Closed cproc closed 1 month ago
Related to https://github.com/genodelabs/genode/issues/5340
Fixed by 2182b1d.
Related to https://github.com/genodelabs/genode/issues/5340