Re: Issue 1377 should be pushed now?

[Phil Holmes]

"Xavier Scheuer" <address@hidden> wrote in message 
news:address@hidden
> Hi Joe, dear developers, bug squad,
>
> Issue 1377 is tagged as "Patch-push" since more than one month now,
> should it be pushed, go under a countdown?
> http://code.google.com/p/lilypond/issues/detail?id=1377
> As said David 2 weeks ago: "What's up with this one?".
>
> Thanks for your attention.
>
> Cheers,
> Xavier
>
> --
> Xavier Scheuer <address@hidden>

I see James has now said it won't patch master, and so is back to "needs 
work"
--
Phil Holmes
Bug Squad