The proposal to merge lp:~miroslavr256/widelands/bug-1524841 into lp:widelands has been updated.
Description changed to: This should hopefully fix bug #1524841. Needs testing from someone who can reproduce the bug (I am unable to do that on my system). For more details, see: https://code.launchpad.net/~miroslavr256/widelands/bug-1524841/+merge/286735 -- Your team Widelands Developers is requested to review the proposed merge of lp:~miroslavr256/widelands/bug-1524841 into lp:widelands. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
