widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #02741
Re: [Merge] lp:~widelands-dev/widelands/bug-1352943 into lp:widelands
Indeed, it does not crash anymore
I dont know the production_program.cc logic, but this does not look like a good solution. It seems to me "unsystematic"... Of course, I can easily be wrong...
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1352943/+merge/236246
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1352943 into lp:widelands.
References