petra: fix builder counters when one builder is created and destroyed in the same ai-turn, fixes #4991
Description
Description
Details
Details
- Committed
mimo Jan 20 2018, 2:03 PM - Parents
- rP20936: Use vectors for positions in setHeight in random map scripts.
- Branches
- Unknown
- Tags
- Build Status
Buildable 4573 Build 7970: Post-Commit Build