Package: guix-patches;
Reported by: Tim Van den Langenbergh <tmt_vdl <at> gmx.com>
Date: Tue, 7 Jul 2020 16:53:02 UTC
Severity: normal
Tags: patch
Done: Tobias Geerinckx-Rice <me <at> tobias.gr>
Bug is archived. No further changes may be made.
Message #16 received at 42249-done <at> debbugs.gnu.org (full text, mbox):
From: Tobias Geerinckx-Rice <me <at> tobias.gr> To: Tim Van den Langenbergh <tmt_vdl <at> gmx.com> Cc: 42249-done <at> debbugs.gnu.org Subject: Re: [bug#42249] [PATCH] gnu: Add font-libertinus. Date: Thu, 09 Jul 2020 15:06:42 +0200
[Message part 1 (text/plain, inline)]
[signature.asc (application/pgp-signature, inline)]
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.