GNU bug report logs - #71901
Request for merging "r-team" branch

Previous Next

Package: guix-patches;

Reported by: Ricardo Wurmus <rekado <at> elephly.net>

Date: Tue, 2 Jul 2024 13:11:02 UTC

Severity: normal

Done: Ricardo Wurmus <rekado <at> elephly.net>

Bug is archived. No further changes may be made.

Full log

Message #10 received at 71901-done <at> debbugs.gnu.org (full text, mbox):

From: Ricardo Wurmus <rekado <at> elephly.net>
To: 71901-done <at> debbugs.gnu.org
Subject: Request for merging "r-team" branch
Date: Wed, 17 Jul 2024 23:23:33 +0200

The branch has been merged with commit
7ccd8ade8b17897281bb6793acf121a88a1137e3.

-- 
Ricardo
This bug report was last modified 1 year and 2 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.