]> git.donarmstrong.com Git - lilypond.git/commitdiff
Merge branch 'issue3581' into HEAD
authorDavid Kastrup <dak@gnu.org>
Sat, 19 Oct 2013 09:20:07 +0000 (11:20 +0200)
committerDavid Kastrup <dak@gnu.org>
Sat, 19 Oct 2013 09:20:07 +0000 (11:20 +0200)
Done as a single merge commit as I don't know how well intermediate
stages might compile.


Trivial merge