# HG changeset patch
# User jgindin@chagall
# Date 1693529767 14400
#      Thu Aug 31 20:56:07 2023 -0400
# Node ID 800cfe3dc5cd96cc3cd6a3f0186c2ce39e5da9ac
# Parent  43e6caf4c3cd3324dd4263133aa52da501c439d2
New release

diff --git a/ZehutYosef/version.properties b/ZehutYosef/version.properties
--- a/ZehutYosef/version.properties
+++ b/ZehutYosef/version.properties
@@ -2,9 +2,5 @@
 # Copyright (c) 2023. Jay R. Gindin
 #
 
-#
-# Copyright (c) 2023. Jay R. Gindin
-#
-
-#Thu Aug 17 00:02:45 EDT 2023
-AI_VERSION_CODE=70
+#Thu Aug 31 20:54:45 EDT 2023
+AI_VERSION_CODE=72