From: David Kastrup <dak@gnu.org>
Date: Fri, 22 Aug 2014 05:17:50 +0000 (+0200)
Subject: Merge branch 'issue3072' into HEAD
X-Git-Tag: release/2.19.13-1~27
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=2c1ffb66705c456712ad619a5296f080a7433756;p=lilypond.git

Merge branch 'issue3072' into HEAD
---

2c1ffb66705c456712ad619a5296f080a7433756