On Wed, Apr 21, 2021 at 04:24:18PM +0000, Ekaitz Zarraga wrote: > This issue can be closed since: 47467 is merged
Feel free to close it. Bugs are closed by sending mail to <bugnumber-d...@debbugs.gnu.org>
On Wed, Apr 21, 2021 at 04:24:18PM +0000, Ekaitz Zarraga wrote: > This issue can be closed since: 47467 is merged
Feel free to close it. Bugs are closed by sending mail to <bugnumber-d...@debbugs.gnu.org>