[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#25424:
|
From: |
Eli Zaretskii |
|
Subject: |
bug#25424: |
|
Date: |
Sun, 24 Mar 2019 21:52:17 +0200 |
> 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.