Package: guix-patches;
Reported by: jgart <jgart <at> dismail.de>
Date: Sun, 10 Jul 2022 08:18:01 UTC
Severity: normal
Tags: patch
Done: Ludovic Courtès <ludo <at> gnu.org>
Bug is archived. No further changes may be made.
Message #10 received at 56477-done <at> debbugs.gnu.org (full text, mbox):
From: Ludovic Courtès <ludo <at> gnu.org> To: jgart <jgart <at> dismail.de> Cc: 56477-done <at> debbugs.gnu.org Subject: Re: bug#56477: [PATCH] gnu: Add berry. Date: Tue, 19 Jul 2022 23:06:14 +0200
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.