I've heard some people were waiting for 1.13.1 before updating their servers due to bugs in 1.13.0, and I'm wondering if you all are skipping 1.13.0.