help-overlay.ui: Add one unlisted shortcut (!8) · Merge requests · GNOME / Reversi · GitLab

The source project of this merge request has been removed.

Ghost User requested to merge (removed):helpoverlay into master Feb 23, 2020

Add unlisted F10: Toggle menu shortcut