Thanks a lot!

Op zo 24 mrt. 2019 om 20:52 schreef Eli Zaretskii <eliz@gnu.org>:

> > Date: Sun, 24 Mar 2019 19:31:11 +0000
> > From: Michael Mauger <mmauger@protonmail.com>
> > Cc: "tijs.mallaerts@gmail.com" <tijs.mallaerts@gmail.com>, "
> michael@mauger.com" <michael@mauger.com>, "25424@debbugs.gnu.org" <
> 25424@debbugs.gnu.org>
> >
> > > Thanks. I see you already made a change; should we now close this bug
> > > report?
> >
> > Yes, it should now be all set. The bug can be closed.
>
> Done, thanks.
>