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