Closed cproc closed 7 months ago
Related to https://github.com/genodelabs/genode/issues/5141.
Fixed by 2161c14.
Related to https://github.com/genodelabs/genode/issues/5141.