widelands

  1. Bug #1535115
  2. Comment #18

Comment 18 for bug 1535115

Revision history for this message
GunChleoc (gunchleoc) wrote :

I think after builg-19 is a good idea, since this is an old problem anyway. Adding a timer sounds like a good starting point to me.