Review: Approve Crazy catch! Congrats on finding this so quickly!
I think this should be merged right now. It is very minimal, only affects mingw on win32 (should not even change the compiled file on other systems) and fixes a very annoying bug. -- https://code.launchpad.net/~widelands-dev/widelands/fix_bug_1271080/+merge/202412 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/fix_bug_1271080. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp

