1.15

The minigames, survival, and creative servers have been updated to 1.15 as of 11December2019. The overviewer map might not update correctly until the weekend, when I can compile the latest version.

Update 20191212@16:21: overviewer is updated and the survival server map is current.