release v1.12.4

pikasTech · pikasTech · commit fa6feb8d2b54 · 2023-07-07T17:49:21.000+08:00
diff --git a/package/json/_json.c b/package/json/_json.c
@@ -2,7 +2,7 @@
 #include "_pika_cJSON.h"
 #include "jsmn.h"
 
-#if !PIKASCRIPT_VERSION_REQUIRE_MINIMUN(1, 13, 0)
+#if !PIKASCRIPT_VERSION_REQUIRE_MINIMUN(1, 12, 4)
 #error "pikapython version must be greater than 1.13.0"
 #endif
 
diff --git a/port/linux/package/pikascript/pikascript-lib/json/_json.c b/port/linux/package/pikascript/pikascript-lib/json/_json.c
@@ -2,7 +2,7 @@
 #include "_pika_cJSON.h"
 #include "jsmn.h"
 
-#if !PIKASCRIPT_VERSION_REQUIRE_MINIMUN(1, 13, 0)
+#if !PIKASCRIPT_VERSION_REQUIRE_MINIMUN(1, 12, 4)
 #error "pikapython version must be greater than 1.13.0"
 #endif
 
diff --git a/port/linux/version_config.py b/port/linux/version_config.py
@@ -1,3 +1,3 @@
 MajorVersion  =   "1"
-MinorVersion  =   "13"
-MicroVersion  =   "0"
+MinorVersion  =   "12"
+MicroVersion  =   "4"
diff --git a/src/PikaVersion.h b/src/PikaVersion.h
@@ -1,5 +1,5 @@
 #define PIKA_VERSION_MAJOR       1
-#define PIKA_VERSION_MINOR       13
-#define PIKA_VERSION_MICRO       0
+#define PIKA_VERSION_MINOR       12
+#define PIKA_VERSION_MICRO       4
 
-#define PIKA_EDIT_TIME      "2023/06/10 16:44:53"
+#define PIKA_EDIT_TIME      "2023/07/07 17:48:36"
