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