mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-01 16:42:06 +00:00
18182b11da
if session can't be closed immediately, e.g. if the service is provided by a child (cpu_balancer) and not by the parent. Issue #4029
This directory contains all source codes.