widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #03950
Re: [Merge] lp:~widelands-dev/widelands/bug-1451078-fix into lp:widelands
I am really sorry, but do not see the benefit of adding more booleans. In my opinion the bug is now fixed, unless you or somebody else explain the remaining problems in so simple words that even I understand. Hopefully all the extra typing won't give you joint pains.
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1451078-fix/+merge/258118
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1451078-fix into lp:widelands.
References