seems to be an issue with the garbage collector. switching over to the incremental gc seems to have fixed it for me (see also the debian bug at http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=583692)
** Bug watch added: Debian Bug tracker #583692 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=583692 -- a fatal error appear on some random events in FreeCol https://bugs.launchpad.net/bugs/596467 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
