Sorry guys... after today's apt-get the problem has vanished. -- gnome-terminal segfaults on --geometry https://launchpad.net/bugs/88776
-- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
Sorry guys... after today's apt-get the problem has vanished. -- gnome-terminal segfaults on --geometry https://launchpad.net/bugs/88776
-- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs