Paul Eggert Mon, 06 May 2013 06:23:37 -0700
On 05/03/2013 03:10 AM, Stefano Lattarini wrote: > Here is an improved patch
Thanks, I pushed that.