[Bug 31344] F1 opens Gnome Terminal Help which is no always what you want

[Daniel Holbach]

Public bug report changed:
https://launchpad.net/malone/bugs/31344

Changed in: gnome-terminal (upstream)
       Severity: Normal => Minor
       Bugwatch: None => The Gnome Bug Tracker #331878