Package: guix-patches;
Reported by: Ricardo Wurmus <ricardo.wurmus <at> mdc-berlin.de>
Date: Tue, 24 Jul 2018 12:06:02 UTC
Severity: normal
Tags: patch
Done: Ricardo Wurmus <ricardo.wurmus <at> mdc-berlin.de>
Bug is archived. No further changes may be made.
Message #13 received at 32256-done <at> debbugs.gnu.org (full text, mbox):
From: Ricardo Wurmus <ricardo.wurmus <at> mdc-berlin.de> To: Kei Kebreau <kkebreau <at> posteo.net> Cc: madalinionel.patrascu <at> mdc-berlin.de, 32256-done <at> debbugs.gnu.org Subject: Re: [bug#32256] [PATCH] gnu: Add nudoku. Date: Thu, 16 Aug 2018 17:07:55 +0200
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.