]> git.donarmstrong.com Git - lilypond.git/commitdiff
Merge branch 'issue4442'
authorDavid Kastrup <dak@gnu.org>
Wed, 17 Jun 2015 04:36:36 +0000 (06:36 +0200)
committerDavid Kastrup <dak@gnu.org>
Wed, 17 Jun 2015 04:36:36 +0000 (06:36 +0200)

Trivial merge