Optimize optimal-page-breaking.

[lilypond.git] / VERSION

diff --git a/VERSION b/VERSION
index 78dbac39d1bddd8122732a8d06c61273c49ff8d7..050102439d93b5c0e1df755f30b61356afca3984 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1,7 +1,7 @@
 PACKAGE_NAME=LilyPond
 MAJOR_VERSION=2
 MINOR_VERSION=13
-PATCH_LEVEL=10
+PATCH_LEVEL=31
 MY_PATCH_LEVEL=
-VERSION_STABLE=2.12.2
-VERSION_DEVEL=2.13.9
+VERSION_STABLE=2.12.3
+VERSION_DEVEL=2.13.30