Subject: bug#38226: guix pull: error: build failed:
From: zimoun <[email-masked]>
To: [email-masked]
Date: Fri, 22 May 2020 02:22:21 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Dear,

Because this bug is tagged moreinfo and without any activities since
13 weeks, I am closing.
Feel free to reopen it if I have misunderstood the status of this bug.

Best regards,
simon