Closed cproc closed 1 year ago
Related to https://github.com/genodelabs/genode/issues/4823.
Fixed by 3987f6e.
Related to https://github.com/genodelabs/genode/issues/4823.