diff --git a/port/linux/version_config.py b/port/linux/version_config.py
index d053dae6e..9bda6a76b 100644
--- a/port/linux/version_config.py
+++ b/port/linux/version_config.py
@@ -1,3 +1,3 @@
 MajorVersion  =   "1"
 MinorVersion  =   "12"
-MicroVersion  =   "0"
+MicroVersion  =   "2"
diff --git a/src/PikaVersion.h b/src/PikaVersion.h
index 3c4f45400..d111d7631 100644
--- a/src/PikaVersion.h
+++ b/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_VERSION_MICRO       2
 
-#define PIKA_EDIT_TIME      "2023/03/08 09:54:07"
-
-#ifdef __cplusplus
-}
-#endif
+#define PIKA_EDIT_TIME      "2023/05/03 22:24:57"
diff --git a/tools/pikaCompiler/rust-msc-latest-win10.exe b/tools/pikaCompiler/rust-msc-latest-win10.exe
index ae72a9184..8f343e9fc 100644
Binary files a/tools/pikaCompiler/rust-msc-latest-win10.exe and b/tools/pikaCompiler/rust-msc-latest-win10.exe differ