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