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