Hello, A new version of Minecraft Server is available (v1.13.1). Source to .JAR: https://launcher.mojang.com/v1/objects/fe123682e9cb30031eae351764f653500b7396c9/server.jar Minecraft Server Website: https://minecraft.net/en-us/download/server/ Could you please update the port?
I opened a PR for the next version 1.13.2 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=232946 I attached a patch in it. So this one can be closed.
Superseded by bug 232946