On 01/11/2013 12:42 AM, Paul Eggert wrote:
> That looks good to me; thanks.
>
Thanks to you for the quick review.

Pushed, after fixing a couple of typos in the commit message (repeated
"only", "it's" instead of "its").

Regards,
  Stefano

Reply via email to