Package: guix-patches;
Reported by: Simon South <simon <at> simonsouth.net>
Date: Mon, 9 Jan 2023 19:23:02 UTC
Severity: normal
Tags: patch
Done: "Danny Milosavljevic" <dannym <at> scratchpost.org>
Bug is archived. No further changes may be made.
Message #17 received at 60695 <at> debbugs.gnu.org (full text, mbox):
From: Simon South <simon <at> simonsouth.net> To: 60695 <at> debbugs.gnu.org Subject: [PATCH 4/9] gnu: nextpnr-ice40: Use HTTPS for source URL. Date: Mon, 9 Jan 2023 14:25:58 -0500
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.