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