Java Edition 12w23b

12w23b is the tenth snapshot for 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.