Subject: Request for merging "r-team" branch
From: Sharlatan Hellseher <[email-masked]>
To: [email-masked]
Cc: [email-masked], [email-masked]
Date: Thu, 03 Oct 2024 14:20:14 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed https://git.savannah.gnu.org/cgit/guix.git/commit/?id=2f0644a8c024f589b9237e1d0fb1ce1025fa522f

It looks like it was merged already according to diffstat: 0 files
changed, 0 insertions, 0 deletions

--
Oleg