Looks good.

Thank you.

--
Kaushal Modi
On Aug 24, 2015 4:16 AM, "martin rudalics" <rudalics@gmx.at> wrote:

> >> I'll correct the ChangeLog entry as soon as it appears in ChangeLog.2.
> >
> > Thanks.
>
> Should be done now.  Please have a look.
>
> Thanks again, martin
>