Ubuntu
gnome-terminal package

  1. Bug #1747171
  2. Comment #4

Comment 4 for bug 1747171

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

Yup, it's *their* patch :)

Actually I think gnome-terminal is just a