widelands-dev team mailing list archive

[toptopple <7010622@xxxxxx>]

Tested today and appears to work correctly now. There was a tiny glitch in that 2 Master Miners (out of 7) remained at home despite new Miner posts requested; instead new Miners were created. We cannot say at this point where exactly this error lies, assuming it is an error. However, I would suggest that clearing out all Miners, Chief Miners and Master Miners should be target before new Miners are created from Pickaxes.

-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1664145-miners/+merge/317710
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1664145-miners into lp:widelands.