Merge remote branch 'origin/release/unstable'

diff --git a/VERSION b/VERSION
index d77b08e3fa6da523a3a609655e59d87acff279cd..a32bbbf5558e4ed9179041e5f2f649c1a5ecf383 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1,7 +1,7 @@
 PACKAGE_NAME=LilyPond
 MAJOR_VERSION=2
 MINOR_VERSION=13
-PATCH_LEVEL=41
+PATCH_LEVEL=42
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.12.3
-VERSION_DEVEL=2.13.40
+VERSION_DEVEL=2.13.41