Ubuntu
gnome-terminal package

  1. Bug #31344
  2. Comment #6

Comment 6 for bug 31344

Revision history for this message
Sebastien Bacher (seb128) wrote : Re: F1 opens Gnome Terminal Help which is no always what you want

Daniel, that bug should be simply forwarded to get upstream opinion