]> git.donarmstrong.com Git - lilypond.git/commitdiff
Merge branch 'issue4032'
authorDavid Kastrup <dak@gnu.org>
Sat, 2 Aug 2014 14:55:32 +0000 (16:55 +0200)
committerDavid Kastrup <dak@gnu.org>
Sat, 2 Aug 2014 14:55:32 +0000 (16:55 +0200)

Trivial merge