Re: trivial typo fix

[Stefano Lattarini]

On 10/28/2013 01:21 PM, Václav Zeman wrote:
> Hi.
> 
> I am attaching a trivial typo fix patch.
> 
Applied.

Thanks,
  Stefano