Iain was working on it in lp:~ubuntu-desktop/gnome-terminal/ubuntu and was blocked on a bug where opening a new tab always opens in the home directory rather than the current directory [1]. Note that Debian has 3.10 even though this behaviour has changed.
Iain was working on it in lp:~ubuntu-desktop/gnome-terminal/ubuntu and was blocked on a bug where opening a new tab always opens in the home directory rather than the current directory [1]. Note that Debian has 3.10 even though this behaviour has changed.
[1] https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 697475