On Wednesday 19 October 2011, Stefano Lattarini wrote: > Reference: > <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=7873> > > I've rebased my patch on the "fixup" commit `v1.11-250-g0c0b402', and > I will merge it to maint (and push) in a couple of days if there is > no objection by then. The updated patch is attached, for reference. > Pushed now. I'm closing this bug report.
Regards, Stefano
