updated for version 7.3.723

Problem: Various tiny problems. Solution: Various tiny fixes.
2025-10-06 05:44:14 -04:00 · 2012-11-20 17:19:01 +01:00
parent d59762dcb6
commit 8d4eecc5e8
7 changed files with 20 additions and 12 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -725,6 +725,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    723,
 /**/
    722,
 /**/