Bump version.

diff --git a/VERSION b/VERSION
index 5930241c5b0e126554f811cbd7a188cd90f71138..bed9d31ec2e80e5671b2ac522ddc7597ae96f3b8 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1,7 +1,7 @@
 PACKAGE_NAME=LilyPond
 MAJOR_VERSION=2
 MINOR_VERSION=13
-PATCH_LEVEL=8
+PATCH_LEVEL=9
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.12.2
-VERSION_DEVEL=2.13.8
+VERSION_DEVEL=2.13.9