diff --git a/version.txt b/version.txt
index e01e0ddd8e8b..43c2417ca0c6 100644
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-0.12.4
+0.12.5