Package: guix-patches;
Reported by: muradm <mail <at> muradm.net>
Date: Mon, 1 Aug 2022 13:13:02 UTC
Severity: normal
Tags: patch
Done: Ricardo Wurmus <rekado <at> elephly.net>
Bug is archived. No further changes may be made.
Message #25 received at 56872 <at> debbugs.gnu.org (full text, mbox):
From: "(" <paren <at> disroot.org> To: "muradm" <mail <at> muradm.net>, "Maxime Devos" <maximedevos <at> telenet.be>, <56872 <at> debbugs.gnu.org> Subject: Re: [bug#56872] [PATCH v2] gnu: mu: Update to 1.8.7. Date: Tue, 02 Aug 2022 20:14:51 +0100
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.