mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-27 14:19:37 +00:00
The shape-report label matching depends on the truncated label, i.e., Nitpicker label "wm -> vm" matches, while "wm -> vm -> vbox" does not.