Release: bump version.

diff --git a/VERSION b/VERSION
index 3329822b1bd52f1da06bc28714456fa46b08fb7a..050102439d93b5c0e1df755f30b61356afca3984 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1,7 +1,7 @@
 PACKAGE_NAME=LilyPond
 MAJOR_VERSION=2
 MINOR_VERSION=13
-PATCH_LEVEL=30
+PATCH_LEVEL=31
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.12.3
-VERSION_DEVEL=2.13.29
+VERSION_DEVEL=2.13.30