On Tuesday 20 September 2011, Stefano Lattarini wrote: > On Tuesday 20 September 2011, Stefano Lattarini wrote: > > We definitely want to clean this all up in 1.12 -- code, documentation and > > testsuite as well. > > > For the moment, I'd like to push this follow-up patch to maint as well, > to "smooth out" the transition a bit. I will push this patch and the > earlier one this evening if there is no objection. > > Regards, > Stefano > All the relevant patches having been applied and pushed, I'm now finally closing this bug report.
Thanks to all the involved people for their help and contributions. Regards, Stefano
