Skip to content

master.mint22

Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 23 Sep 01:18
bda58ec
keybindings: Ignore shift-f10 (alternate menu popup shortcut).

Fixes #462