Change version down to 1.7.2-SNAPSHOT for 1.7.2 release

cowtowncoder · cowtowncoder · commit cc14a5ed1340 · 2025-12-27T20:42:11.000-08:00
diff --git a/VERSION.txt b/VERSION.txt
@@ -3,7 +3,7 @@ Java ClassMate project: licensed under Apache License 2.0
 
 Release notes:
 
-1.8.0 (not yet released)
+1.7.2 (27-Dec-2025)
 
 #53: Allow for subtype resolution with unknown generics
  (reported by Carsten W, @CarstenWickner)
