I do not quite understand the idea behind this request. Empty mines are never 
completely empty, right? So there is always the chance that something is 
produced and that will level the worker. Is that not enough?
-- 
https://code.launchpad.net/~widelands-dev/widelands/feature-1478-stone-mine-streamline/+merge/215594
Your team Widelands Developers is requested to review the proposed merge of 
lp:~widelands-dev/widelands/feature-1478-stone-mine-streamline into 
lp:widelands.

_______________________________________________
Mailing list: https://launchpad.net/~widelands-dev
Post to     : [email protected]
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp

Reply via email to