On 07/12/2012 09:36 PM, Eric Blake wrote: > On 07/12/2012 12:42 PM, Stefano Lattarini wrote: > >> >> In the light of our discussion, attached is the patch I'd finally like >> to push. WDYT? > > Looks fine to me (although I have not actually tested it). > Pushed now.
Thanks, Stefano