Ubuntu
gnome-terminal package

  1. Bug #1040885
  2. Comment #25

Comment 25 for bug 1040885

Revision history for this message
Øyvind Stegard (oyvindstegard) wrote :

Fix is included in upstream gnome-terminal 3.6.2:
http://ftp.gnome.org/pub/gnome/sources/gnome-terminal/3.6/gnome-terminal-3.6.2.news

It's also the only fix in addition to some translation updates. So an upgrade to gnome-terminal 3.6.2 in Ubuntu 13.04 would be nice..