Java Edition 13w42b

13w42b is the thirteenth snapshot for 1.7.2, and was released to fix some of the bugs in the 13w42a snapshot.

This version was removed from the launcher for quite a bit, then it was added back in September 2018.

Additions

 * "Force Unicode Font" button added to language selection
 * Allows changing whether Unicode font is forced for text or not.

Changes

 * The first 32 characters of the codepage 437 font have been replaced to support some more languages without having to change the font.