moved to 1.72

dghgit · dghgit · commit e8a500794e2d · 2022-09-24T06:01:37.000+10:00
diff --git a/bc-build.properties b/bc-build.properties
@@ -1,8 +1,8 @@
 
-release.suffix: 172b19
-release.name: 1.72b19
-release.version: 1.71.99
-release.debug: true
+release.suffix: 172
+release.name: 1.72
+release.version: 1.72
+release.debug: false
 
 mail.jar.home: ./libs/mail.jar
 activation.jar.home:  ./libs/activation.jar
