1.13.2

All active servers (survival, creative, minigames) have now been updated to 1.13.2 — have fun!