Package: guix-patches;
Reported by: Brice Waegeneire <brice <at> waegenei.re>
Date: Fri, 25 Oct 2019 20:28:01 UTC
Severity: normal
Tags: patch
Merged with 37928
Done: Ludovic Courtès <ludo <at> gnu.org>
Bug is archived. No further changes may be made.
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
From: Brice Waegeneire <brice <at> waegenei.re> To: guix-patches <at> gnu.org Date: Fri, 25 Oct 2019 22:27:12 +0200
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.