]> git.donarmstrong.com Git - lilypond.git/commitdiff
Merge branch 'issue3072' into HEAD
authorDavid Kastrup <dak@gnu.org>
Fri, 22 Aug 2014 05:17:50 +0000 (07:17 +0200)
committerDavid Kastrup <dak@gnu.org>
Fri, 22 Aug 2014 05:17:50 +0000 (07:17 +0200)

Trivial merge