release v1.12.4

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
 

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
 

port/linux/version_config.py

@@ -1,3 +1,3 @@
 MajorVersion  =   "1"
-MinorVersion  =   "13"
-MicroVersion  =   "0"
+MinorVersion  =   "12"
+MicroVersion  =   "4"

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"