Ubuntu
gnome-terminal package

  1. Bug #157708
  2. Comment #5

Comment 5 for bug 157708

Revision history for this message
Vincent Gerris (vgerris) wrote :

added upstream:
http://bugzilla.gnome.org/show_bug.cgi?id=580103

seems to habe happened before:
http://bugzilla.gnome.org/show_bug.cgi?id=561964