Thanks, it is done :)

Le ven. 8 juil. 2022 à 09:13, ( <paren@disroot.org> a écrit :

> > Control: close #56371
>
> To run a control command, send it to control@debbugs.gnu.org :)
>
>     -- (
>