Skip to content
GitLab
Explore
Sign in
GNOME
gnome-music
Merge requests
!1005
The source project of this merge request has been removed.
headerbar: Allow opening Main Menu by pressing F10
Automeris naranja
requested to merge
(removed):f10-main-menu
into
master
Feb 15, 2023
Overview
1
Pipelines
0
Changes
1
Expand
Merge request reports