* Stefano Lattarini wrote on Tue, Sep 14, 2010 at 08:33:55PM CEST: > On Monday 13 September 2010, Ralf Wildenhues wrote: > > > > I'm pushing this to maint.
> I see that, in fact, the pushed commit also contains a ChangeLog entry, > while HACKING explicitly mandate not to be mentioned in ChangeLog. Why > this inconsistency? My error. Cheers, Ralf
