On Sun, Sep 30, 2018 at 7:44 AM Eli Zaretskii <eliz@gnu.org> wrote:
>
> OK, thanks.  But then the NEWS entry needs to be updated, doesn't it?

Done