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