Skip to content
GitLab
Explore
Sign in
GNOME
GNOME Boxes
Merge requests
!262
F10 opens main menu
Code
Review changes
Check out branch
Download
Patches
Plain diff
Felipe Borges
requested to merge
f10-opens-main-menu
into
master
Jan 22, 2020
Overview
0
Commits
2
Pipelines
1
Changes
4
Expand
#458 (closed)
Merge request reports