Fixed upstream, See http://git.gnome.org/browse/gnome-terminal/commit/?id=c3ed02adadafa1a07393f64a6d4065de15149601 for the commit. Should be fixed in the next release of gnome-terminal.
Fixed upstream, See http:// git.gnome. org/browse/ gnome-terminal/ commit/ ?id=c3ed02adada fa1a07393f64a6d 4065de15149601 for the commit. Should be fixed in the next release of gnome-terminal.