Release: bump version.

diff --git a/VERSION b/VERSION
index d243c15bb8927e59182964066c2d6c853dad05f0..d5735c6658d203fda58cb8041c25032f5cf4d538 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1,7 +1,7 @@
 PACKAGE_NAME=LilyPond
 MAJOR_VERSION=2
 MINOR_VERSION=13
-PATCH_LEVEL=11
+PATCH_LEVEL=12
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.12.3
-VERSION_DEVEL=2.13.10
+VERSION_DEVEL=2.13.11