diff --git a/core/version.txt b/core/version.txt
index 47f57bfd1..a37fec72b 100644
--- a/core/version.txt
+++ b/core/version.txt
@@ -1 +1 @@
-__version__ = "0.10.11"
+__version__ = "0.10.12"