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
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