Summary
- Make mining robots work with gregtech ores (commit: b0a444d) (details)
- Fixed robots not picking up redstone ore and possibly others after GT (commit: 2013eac) (details)
- cleanup (commit: 393337e) (details)
- rewrite zone planner map generation (commit: f7e5e04) (details)
- optimize WorldPropertyIsOre, fix crash (commit: 1144acd) (details)
- improve zone map code, fix #2820 (commit: 8e357d9) (details)