diff --git a/core/version.txt b/core/version.txt
index 8e1395bd3..6dd4954d0 100644
--- a/core/version.txt
+++ b/core/version.txt
@@ -1 +1 @@
-__version__ = "0.12.3"
+__version__ = "0.12.4"