Bump dictionary version number, from issue #1470

opencog · Mar 27, 2024 · 1285a2c · 1285a2c
1 parent c987a4b
commit 1285a2c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/data/en/4.0.dict b/data/en/4.0.dict
@@ -10,7 +10,7 @@
  %                                                                           %
  %***************************************************************************%
 
-#define dictionary-version-number 5.12.1;
+#define dictionary-version-number 5.12.4;
 #define dictionary-locale         en_US.UTF-8;
 
 % The default largest disjunct cost to consider during parsing.

diff --git a/data/en/4.0.dict.m4 b/data/en/4.0.dict.m4
@@ -19,7 +19,7 @@ changecom(`%')
  %                                                                           %
  %***************************************************************************%
 
-#define dictionary-version-number 5.12.1;
+#define dictionary-version-number 5.12.4;
 #define dictionary-locale         en_US.UTF-8;
 
 % The default largest disjunct cost to consider during parsing.