]> git.donarmstrong.com Git - lilypond.git/commitdiff
Merge branch 'issue4357' into HEAD
authorDavid Kastrup <dak@gnu.org>
Tue, 12 May 2015 12:28:23 +0000 (14:28 +0200)
committerDavid Kastrup <dak@gnu.org>
Tue, 12 May 2015 12:28:23 +0000 (14:28 +0200)
This avoids admitting a non-compiling commit into the history mainline


Trivial merge