mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-01 08:19:57 +00:00
By sorting the reported output, all consumers of the reports become able to rely on a deterministic order. For example, the file browser of Sculpt OS, the launcher menu items, and the depot-selection items will appear in a predictable order. Fixes #4054