Category:Java Edition 1.7.2 pre-releases

Pre-releases used to develop Java Edition 1.7.2.