SirVer is too busy - generally not just now. I communicated with him and he suggested that also other developers should review/approve merge requests. (I had my AI branch in mind specifically)
So I can approve this one as this looks a simple one, and SirVer has looked at it before, and I tested it. Would you mind? -- https://code.launchpad.net/~widelands-dev/widelands/bug-1366725/+merge/233750 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1366725. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : widelands-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp