Java Edition 1.7.2 (pre-release)

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

This version was removed from the launcher for quite a bit, then it 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