On 12/24/2011 10:48 PM, Paul Eggert wrote:
> On 12/24/11 07:48, Stefano Lattarini wrote:
>> And here is a patch to document the issue.  Ok for master?
> 
> Thanks, please apply.
>
Pushed.

Thanks,
  Stefano

Reply via email to