bug#56371: Can't remove a package present in profil

[bbb ee]

Thanks, it is done :)

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

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