mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-29 07:33:57 +00:00
8236a18260
This reverts commit 4808565a28afe9ff248fb5c98aceb6f8d3e791c1.