Interesting things you got there #16.
I did try it myself.
1) from 669x ./update.sh to 6708 --> Bug still present
2) rm -r build/* && rm -r widelands; then ./compile.sh again --> Bug still present
3) bzr revert -r6655; then ./compile.sh again --> Bug not present!
4) ./update.sh to 6708 --> Bug not present!
5) rm -r build/* && rm -r widelands; then ./compile.sh again --> Bug STILL NOT present!
I am not even sure how to get this into my head... ?!
Interesting things you got there #16.
I did try it myself.
1) from 669x ./update.sh to 6708
--> Bug still present
2) rm -r build/* && rm -r widelands; then ./compile.sh again
--> Bug still present
3) bzr revert -r6655; then ./compile.sh again
--> Bug not present!
4) ./update.sh to 6708
--> Bug not present!
5) rm -r build/* && rm -r widelands; then ./compile.sh again
--> Bug STILL NOT present!
I am not even sure how to get this into my head... ?!