Ubuntu
gnome-terminal package

  1. Bug #1535169
  2. Comment #3

Comment 3 for bug 1535169

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

Note: the bug report is about Ubuntu's (or Debian's?) custom wrapper script, not mainstream gnome-terminal.