Release: bump version.

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