Re: Issue 2069 in lilypond: Patch: More nuanced BarLine extra-spacing-height to allow tighter horizontal spacing

[lilypond]

Updates:
        Status: Fixed

Comment #9 on issue 2069 by address@hidden: Patch: More nuanced BarLine  
extra-spacing-height to allow tighter horizontal spacing
http://code.google.com/p/lilypond/issues/detail?id=2069

Pushed with 975c00a63710da2472f57fbb6d5a484541f27c66.
As the hairpin patch is still under review, I wanted to get this in the  
code base.  The hairpin patch should now, in theory, no longer apply - I'll  
post a new version.