3 years ago · dd73fa7b5a
--- a/port/linux/version_config.py
+++ b/port/linux/version_config.py
@@ -1,3 +1,3 @@
 
				 MajorVersion  =   "1"
			
 
				 MinorVersion  =   "11"
			
 
				-MicroVersion  =   "1"
			
 
				+MicroVersion  =   "2"
			
--- a/src/PikaVersion.h
+++ b/src/PikaVersion.h
@@ -1,5 +1,5 @@
 
				 #define PIKA_VERSION_MAJOR       1
			
 
				 #define PIKA_VERSION_MINOR       11
			
 
				-#define PIKA_VERSION_MICRO       1
			
 
				+#define PIKA_VERSION_MICRO       2
			
 
				 
			
 
				-#define PIKA_EDIT_TIME      "2022/09/24 13:54:51"
			
 
				+#define PIKA_EDIT_TIME      "2022/09/24 20:58:10"
			
--- a/tools/pikaCompiler/rust-msc-latest-win10.exe
+++ b/tools/pikaCompiler/rust-msc-latest-win10.exe