Raise the version number

elenst · elenst · commit dc50a3dd1920 · 2016-02-01T01:02:23.000+02:00
diff --git a/VERSION b/VERSION
@@ -1,4 +1,4 @@
 MYSQL_VERSION_MAJOR=10
 MYSQL_VERSION_MINOR=1
-MYSQL_VERSION_PATCH=11
+MYSQL_VERSION_PATCH=12
 MYSQL_VERSION_EXTRA=
