Update VERSION.

diff --git a/VERSION b/VERSION
index 9e60b952d474da9ae4913c3c16598920eb58745a..0342100edcefdc5afe793bd2eb59413c29d5888a 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1,7 +1,7 @@
 PACKAGE_NAME=LilyPond
 MAJOR_VERSION=2
 MINOR_VERSION=13
-PATCH_LEVEL=4
+PATCH_LEVEL=5
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.12.2
-VERSION_DEVEL=2.13.3
+VERSION_DEVEL=2.13.5