Thanks!

I don't have the commit rights. Can you please apply this patch to the
master?

--
Kaushal Modi
On Aug 21, 2015 1:42 AM, "Stefan Monnier" <monnier@iro.umontreal.ca> wrote:

> > Can someone please review this?
>
> Looks OK to me,
>
>
>         Stefan
>