At Wednesday 18 August 2010, Ralf Wildenhues wrote: >>> OK for maint if you agree. >> I agree, and I think I should add your name to the ChangeLog >> entry. OK? > No need, but do however pleases you. I added your name too, since the wording which went into the manual is basically yours (and much better than mine); even if this patch is a tiny one, I'd feel uncomfortable not recognizing your contribution in the ChangeLog.
Applied to maint, merged in master and branch-1.11, and pushed. Regards, Stefano
