diff --git a/src/VERSION b/src/VERSION
index 378bb14e..0eed1a29 100644
--- a/src/VERSION
+++ b/src/VERSION
@@ -1 +1 @@
-1.12.1exp5
+1.12.0