widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #01757
Re: [Merge] lp:~qcumber-some/widelands/bug1287241 into lp:~widelands-dev/widelands/debian
Try to ping emptty on IRC. He'll likely be able to answer (and maybe even add the patch upstream). :)
--
https://code.launchpad.net/~qcumber-some/widelands/bug1287241/+merge/209091
Your team Widelands Developers is requested to review the proposed merge of lp:~qcumber-some/widelands/bug1287241 into lp:~widelands-dev/widelands/debian.
References