Re: Fwd: Re: Issue 3719 in lilypond: Patch: CG: Add comment about git-cl editor

[James]

On 28/12/13 08:52, Urs Liska wrote:
> I keep getting these messages although David has pushed the patch. How can I 
> (or someone) make the tracker aware of the push?
>
> Urs
>
>
> -------- Ursprüngliche Nachricht --------
> Von: address@hidden
> Gesendet: Sat Dec 28 09:48:40 MEZ 2013
> An: address@hidden
> Betreff: Re: Issue 3719 in lilypond: Patch: CG: Add comment about git-cl editor
>
>
> Comment #8 on issue 3719 by pkx166h: Patch: CG: Add comment about git-cl
> editor
> http://code.google.com/p/lilypond/issues/detail?id=3719
>
> Patch counted down - please push
It's because when someone pushes the patch, they normally 'close' the 
tracker with an appropriate message and set it to 'fixed' etc.

No one did that, and I don't verify patches have been checked in (I rely 
on the committer and/or the bug squad).

James