Re: close 72804

[Felix Lechner]

Hi Denis,

It's early in the morning for me. I'm not sure I did the right thing.  I
sent this message to control@debbugs.gnu.org.

    close 72805
    thanks

Then I realized that the report should perhaps have been closed by
sending an explanation to 72805-done@debbugs.gnu.org, but it's probably
fine because the reporting party asked for the closure on the record.

Kind regards
Felix

On Sun, Aug 25 2024, Denis 'GNUtoo' Carikli wrote:

> close 72805