The full notes for this version are its short notes: that was all that was written then.
- The Discord bot gets a one-command installer for a Linux server:
tools/discordbot/install.sh. It sets up Python, saves the token, server ID and BOT_KEY securely, does a test run, and installs the bot as a service that starts at boot and restarts if it crashes. - The game itself is unchanged from 1.12.2.