Simon Thum <simon.t...@gmx.de> wrote: > Hi Bastien, > > I have not checked master but on maint it still exists. Do you need > any more details to reproduce? >
AFAICT, origin/maint is behind origin/master by 512 commits (ymmv depending on when the last update happened): $ git log --oneline origin/maint --not origin/master $ git log --oneline origin/master --not origin/maint | wc -l 512 so I think you'd better check master: main seems way out of date - is it even used at this point? Nick > Cheers, > > Simon > > > On 05/08/2012 02:13 PM, Bastien wrote: > > Hi Simon, > > > > Simon Thum<simon.t...@gmx.de> writes: > > > >> I have to revoke my earlier statement. The patch does _not_ remove the > >> TODO_ line from the agenda. I see no change at all. > > > > This should be fixed now. > > > > Thanks, > > > >
