release commit

diff --git a/VERSION b/VERSION
index fd8e96db14af9d3c17494b2e55719edd1a11cef8..59d1b8496d4f94ab8b821ea786ade7549d5ba956 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1,7 +1,7 @@
 PACKAGE_NAME=LilyPond
 MAJOR_VERSION=1
 MINOR_VERSION=7
-PATCH_LEVEL=12
+PATCH_LEVEL=13
 MY_PATCH_LEVEL=
 
 # Use the above to send patches: MY_PATCH_LEVEL is always empty for a