Release: bump version.

diff --git a/VERSION b/VERSION
index d8bfd84ee052c9959624556f545663f7dfa971a3..b05a55cdf63a505b4244ea10bb5f9e03f3b504b9 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1,7 +1,7 @@
 PACKAGE_NAME=LilyPond
 MAJOR_VERSION=2
 MINOR_VERSION=17
-PATCH_LEVEL=12
+PATCH_LEVEL=13
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.16.2
-VERSION_DEVEL=2.17.11
+VERSION_DEVEL=2.17.12