widelands

Comment 7 for bug 1342554

Revision history for this message

Hans Joachim Desserud (hjd) wrote on 2014-07-17: Re: r7102 crashes

> I am not able to reproduce it with Ubuntu.

Hm... which means my issue in #3 was completely unrelated and that I should probably try and figure out what on earth happened there. :(