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

Previous Next

Package: guix-patches;

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

Date: Sat, 7 Sep 2024 15:56:01 UTC

Severity: normal

Done: Sharlatan Hellseher <sharlatanus <at> gmail.com>

Bug is archived. No further changes may be made.

Full log


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

From: Sharlatan Hellseher <sharlatanus <at> gmail.com>
To: 73104-done <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, zimon.toutoune <at> gmail.com
Subject: Request for merging "r-team" branch
Date: Thu, 03 Oct 2024 14:20:14 +0100
[Message part 1 (text/plain, inline)]
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
[signature.asc (application/pgp-signature, inline)]

This bug report was last modified 323 days ago.

Previous Next


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