Subject: #40263 --> #47274
From: Raghav Gururajan <[email-masked]>
To: [email-masked]
Date: Sat, 20 Mar 2021 00:50:02 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello Guix!

This patch is now a part of #47274. So I'll close.

Regards,
RG.