*** 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 Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
