Ubuntu
gnome-terminal package

  1. Bug #140642
  2. Comment #2

Comment 2 for bug 140642

Revision history for this message
Joachim Sauer (saua) wrote :

I can confirm this bug with the latest updates.

gnome-terminal is 2.18.1-1ubuntu2.

Since gnome-terminal itself was not updated recently I assume it's not a direct fault in gnome-terminal.