From: paul <[email-masked]>
To: [email-masked]
Date: Sun, 1 Jun 2025 12:09:56 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

This has been moved on Codeberg at 
https://codeberg.org/guix/guix/pulls/368 , in the hope it'll get more 
attention