mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-11 13:03:11 +00:00
This eases the use of, e.g., 'Select_button' as temporary variable. Issue #5008 Issue #5053
This eases the use of, e.g., 'Select_button' as temporary variable. Issue #5008 Issue #5053