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

From: "(" <[email-masked]>
Date: Fri, 08 Jul 2022 08:13:00 +0100

> Control: close #56371

To run a control command, send it to [email-masked] :)

    -- (