widelands-dev team mailing list archive
Mailing list archive
Re: [Merge] lp:~widelands-dev/widelands/workarea-fixes into lp:widelands
It was definitely wanted by more then one player.
I like it too. Especially if it shows good or bad coverage.
I think the basic tutorial should bhe the place to explain this as early as possible, cause it will be already there.
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/workarea-fixes into lp:widelands.