On Mon 18 Feb 2019 at 11:44, Eli Zaretskii <eliz@gnu.org> wrote:

> Thanks, this fixes the failure.

Thanks, I'll close the bug report then.

Alex