widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #02727
Re: [Merge] lp:~widelands-dev/widelands/bug-1366725 into lp:widelands
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.
Follow ups
References