diff --git a/VERSION b/VERSION
index 9d3217d1f..23ab0bcac 100644
--- a/VERSION
+++ b/VERSION
@@ -1,2 +1,2 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<VERSION>13</VERSION>
+<VERSION>12</VERSION>