]> git.donarmstrong.com Git - lilypond.git/commitdiff
Merge branch 'issue4614' into HEAD
authorDavid Kastrup <dak@gnu.org>
Sat, 26 Sep 2015 10:33:24 +0000 (12:33 +0200)
committerDavid Kastrup <dak@gnu.org>
Sat, 26 Sep 2015 10:33:24 +0000 (12:33 +0200)

Trivial merge