widelands

  1. Bug #741142
  2. Comment #13

Comment 13 for bug 741142

Revision history for this message
SirVer (sirver) wrote :

I merged your fixes in 5915. A good solution to fix this bug imho. I also added you to the list of coders, please have a look at txt/developers if you are fine with the changes.