diff --git a/src/PikaVersion.h b/src/PikaVersion.h
index f0277a525..b9e601fdd 100644
--- a/src/PikaVersion.h
+++ b/src/PikaVersion.h
@@ -2,4 +2,4 @@
 #define PIKA_VERSION_MINOR 12
 #define PIKA_VERSION_MICRO 4
 
-#define PIKA_EDIT_TIME "2023/08/04 17:23:14"
+#define PIKA_EDIT_TIME "2023/08/04 17:25:07"