ready to release v1.12.2

port/linux/version_config.py

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

src/PikaVersion.h

@@ -1,13 +1,5 @@
-#ifdef __cplusplus
-extern "C" {
-#endif
-
 #define PIKA_VERSION_MAJOR       1
 #define PIKA_VERSION_MINOR       12
-#define PIKA_VERSION_MICRO       0
-
-#define PIKA_EDIT_TIME      "2023/03/08 09:54:07"
+#define PIKA_VERSION_MICRO       2
 
-#ifdef __cplusplus
-}
-#endif
+#define PIKA_EDIT_TIME      "2023/05/03 22:24:57"