From: David Kastrup Date: Tue, 12 May 2015 12:28:23 +0000 (+0200) Subject: Merge branch 'issue4357' into HEAD X-Git-Tag: release/2.19.21-1~42 X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=6f16c7184dd33fc91b381bb659e9d2f6001f76c7;p=lilypond.git Merge branch 'issue4357' into HEAD This avoids admitting a non-compiling commit into the history mainline --- 6f16c7184dd33fc91b381bb659e9d2f6001f76c7