mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-03 09:40:44 +00:00
e06f3bba27
By now the 'compatible' name is set via the 'type' attribute. Fixes #4181.