widelands

  1. Bug #1205149
  2. Comment #42

Comment 42 for bug 1205149

Revision history for this message
Jens Beyer (qcumber-some) wrote :

Tried to provoke this with valgrind on my Ubuntu 12.04 system which usually shows the bug. With valgrind, the bug does not occur...