On 02/07/2012 11:24 AM, Stefano Lattarini wrote:
> Note to all automakers: I haven't pushed this patch yet, because I suspect
> it might not be the best fix, or might even introduce new problems I have
> not anticipated. So, even if the patch is a regression fix, I will wait a
> couple of days before pushing it, hoping for a review in the meantime.
>
I've now applied the patch to maint, merged maint into master, and pushed.
Still, any suggestion on how to make the idiom more reliable would be really
welcome.
Regards,
Stefano
