Great, thanks!
While we're at it, could you please make sure to upgrade to vte-0.36.3 and gnome-terminal-3.12.3?
Both contain important bugfixes, especially gnome-terminal-3.12.3 fixes a nasty crash that happens relatively often.
We're talking about minor version numbers here, it should be as easy as bumping the version number.
Great, thanks!
While we're at it, could you please make sure to upgrade to vte-0.36.3 and gnome-terminal- 3.12.3?
Both contain important bugfixes, especially gnome-terminal- 3.12.3 fixes a nasty crash that happens relatively often.
We're talking about minor version numbers here, it should be as easy as bumping the version number.