On Saturday 18 June 2011, Stefano Lattarini wrote: > On Wednesday 15 June 2011, Eric Blake wrote: > > [CUT] > > Here is the amended patch. Note that in the end I haven't made use of > the version information I've asked Eric previously, since adding it would > have broken the flow of discourse IMHO. > > I'll push by tomorrow evening if there is no objection. > > [CUT] > Pushed now.
Regards, Stefano
