Re: [PATCH] maint: sync several files from upstream

[Stefano Lattarini]

On 05/27/2013 12:42 AM, Paul Eggert wrote:
> Thanks, looks good.  This sort of thing should be routine.
> 
OK, pushed.

Thanks,
  Stefano