Category:Java Edition 1.7.2 pre-releases

Pre-releases used to develop 1.7.2.