2.0.2 Peons don't continue to mine after unpaused

Peons don’t continue to mine after they have been paused and then unpaused if there are more than 5 of them mining. For custom maps when you have 10 peons mining then only a few of them will continue to mine after they unpause. Please fix.

You shouldn’t have more than 5 peons mining anyway, unless you accidentally built too far away

It’s part of game balance and fun, not all maps are supposed to have only 5 workers mining. Even the official campaign maps you need more than 5 workers for some maps such as human map 2. This worker bug is low prio compared to bugs such as camera max zoom out and not being able to trade resources with the new player colors.