diff --git a/core/version.txt b/core/version.txt
index 43e38a8b4c..5b709086be 100644
--- a/core/version.txt
+++ b/core/version.txt
@@ -1 +1 @@
-__version__ = "0.9.11"
+__version__ = "0.9.12"