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

Previous Next

Package: guix-patches;

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

Date: Fri, 1 Nov 2024 12:27:01 UTC

Severity: normal

Done: Andreas Enge <andreas <at> enge.fr>

Bug is archived. No further changes may be made.

Full log

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

From: Andreas Enge <andreas <at> enge.fr>
To: 74154-done <at> debbugs.gnu.org
Subject: Close
Date: Wed, 4 Dec 2024 11:54:57 +0100

This has been merged, closing the bug.

I would suggest to also delete the branch, as this makes clear which
branches are currently active, but my impression is that different teams
handle this differently, so I will not go ahead.

Andreas
This bug report was last modified 172 days ago.

Previous Next

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