*** This bug is a duplicate of bug 207477 ***
https://bugs.launchpad.net/bugs/207477** This bug has been marked a duplicate of bug 207477 bash not always killed when closing gnome-terminal -- gnome-terminal keeps tabs in memory https://bugs.launchpad.net/bugs/259930 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
