widelands-dev team mailing list archive

[kaputtnik <somal@xxxxxxxx>]

Since this is used by Sirver, he should decide if the 'fix' works or not and if he want more control or not.

@SirVer: Do you want me to merge this once it is ready?
-- 
https://code.launchpad.net/~widelands-dev/widelands-website/update_ops_script/+merge/369163
Your team Widelands Developers is subscribed to branch lp:widelands-website.