Ubuntu
gnome-terminal package

  1. Bug #1040885
  2. Comment #19

Comment 19 for bug 1040885

Revision history for this message
Marius Gedminas (mgedmin) wrote :

I built a patched gnome-terminal in my PPA: https://launchpad.net/~mgedmin/+archive/ppa