From: David Kastrup Date: Sat, 19 Oct 2013 09:20:07 +0000 (+0200) Subject: Merge branch 'issue3581' into HEAD X-Git-Tag: release/2.17.29-1~10 X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=458bc4053203ec3f916e07dcc50de7f34003d130;p=lilypond.git Merge branch 'issue3581' into HEAD Done as a single merge commit as I don't know how well intermediate stages might compile. --- 458bc4053203ec3f916e07dcc50de7f34003d130