Remove Ctrl+F1 shortcut from Keyboard Shortcuts page (!273) · Merge requests · GNOME / GNOME Boxes · GitLab

The source project of this merge request has been removed.

Ghost User requested to merge (removed):removef1 into master Feb 10, 2020

It used to work but, due to a conflict, it was removed (gtk#626 (closed))