Subject: Closing
From: "(" <[email-masked]>
To: <[email-masked]>
Date: Sat, 06 Aug 2022 14:30:37 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

As nckx rightly pointed out, this patch isn't really useful because
`sudo guix pull` was fixed, and after a brief discussion on IRC I've
decided to close this patch.

    -- (