Ubuntu
gnome-terminal package

  1. Bug #996485
  2. Comment #2

Comment 2 for bug 996485

Revision history for this message
Launchpad Janitor (janitor) wrote : Re: gnome-terminal incorrectly reacts to F10 key

Status changed to 'Confirmed' because the bug affects multiple users.