Java Edition 1.7.2 (pre-release)

1.7.2-pre is the third pre-release for 1.7.2.

This version was previously removed from the launcher for some time, but was added back in September 2018.

Fixes
1.7.2-pre 1.7.2-pre 1.7.2-pre 1.7.2-pre 1.7.2-pre 1.7.2-pre 1.7.2-pre 1.7.2-pre