GNOME Bugzilla – Bug 696953
profile editor crash
Last modified: 2013-03-31 10:09:36 UTC
Hi. Running gnome-terminal 3.8.0 on OpenBSD and trying to open the profile editor ends up with a gnome-terminal-server crash. gdb /usr/local/libexec/gnome-terminal-server -c gnome-terminal-s.core <
+ Trace 231702
Gah, missed the duplicate... *** This bug has been marked as a duplicate of bug 696921 ***