Java Edition 12w23b

12w23b is the tenth snapshot for Java Edition 1.3.1, and was released to fix some of the bugs and crashes in the 12w23a snapshot.

Fixes

 * 1 bug fixed
 * Fixed frequent null pointer exceptions in survival mode when blocks were instantly mined with a tool.