Minecraft:Java Edition 1.13-pre9

1.13-pre9 is the ninth pre-release for Minecraft:Java Edition 1.13, released on July 16, 2018.<ref>Template:Mcnet</ref>

Additions

Minecraft:Subtitles

• Added some missing subtitle strings.<ref>https://pokechu22.github.io/Burger/diff_1.13-pre8_1.13-pre9#language:subtitles</ref>

Changes

Minecraft:Fonts

• The Minecraft:missing font character has been changed from File:Missing Glyph JE2.png to File:Missing Glyph JE3.png - it is now black on the inside rather than empty.

Trivia

• This is the only time there has been a ninth pre-release for a version.