Ubuntu
gnome-terminal package

  1. Bug #925541
  2. Comment #2

Comment 2 for bug 925541

Revision history for this message
Egmont Koblinger (egmont-gmail) wrote :

This is perhaps the same as https://bugzilla.gnome.org/show_bug.cgi?id=730220 (patch available there).