|
| From: | Tijs Mallaerts |
| Subject: | bug#25424: |
| Date: | Mon, 25 Mar 2019 20:32:34 +0100 |
> 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.
| [Prev in Thread] | Current Thread | [Next in Thread] |