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

bug-guix

From:	bbb ee
Subject:	bug#56371: Can't remove a package present in profil
Date:	Wed, 13 Jul 2022 11:02:42 +0200

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 :)

-- (

Current Thread

[Next in Thread]

bug#56371: Can't remove a package present in profil, bbb ee, 2022/07/03
- bug#56371: Can't remove a package present in profil, Julien Lepiller, 2022/07/04
  - bug#56371: Can't remove a package present in profil, bbb ee, 2022/07/05
    - bug#56371: Can't remove a package present in profil, bbb ee, 2022/07/05
    - bug#56371: Can't remove a package present in profil, bbb ee, 2022/07/05
    - bug#56371: Can't remove a package present in profil, (, 2022/07/08
    - bug#56371: Can't remove a package present in profil, bbb ee <=