Package: guix-patches;
Reported by: "Boris A. Dekshteyn" <boris.dekshteyn <at> gmail.com>
Date: Sun, 13 Oct 2019 08:42:02 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 37731-done <at> debbugs.gnu.org (full text, mbox):
From: Ludovic Courtès <ludo <at> gnu.org> To: "Boris A. Dekshteyn" <boris.dekshteyn <at> gmail.com> Cc: 37731-done <at> debbugs.gnu.org Subject: Re: [bug#37731] [PATCH] gnu: Add FontManager. Date: Fri, 18 Oct 2019 11:41:57 +0200
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.