GNU bug report logs - #32192
[PATCH 0/7] Remove duplicated packages.

Previous Next

Package: guix-patches;

Reported by: Christopher Baines <mail <at> cbaines.net>

Date: Tue, 17 Jul 2018 20:29:02 UTC

Severity: normal

Tags: patch

Done: Christopher Baines <mail <at> cbaines.net>

Bug is archived. No further changes may be made.

Full log

Message #49 received at 32192-done <at> debbugs.gnu.org (full text, mbox):

From: Christopher Baines <mail <at> cbaines.net>
To: Leo Famulari <leo <at> famulari.name>
Cc: 32192-done <at> debbugs.gnu.org
Subject: Re: [bug#32192] [PATCH 0/7] Remove duplicated packages.
Date: Sun, 29 Jul 2018 18:04:37 +0100

[Message part 1 (text/plain, inline)]
Leo Famulari <leo <at> famulari.name> writes:

> On Tue, Jul 17, 2018 at 09:27:45PM +0100, Christopher Baines wrote:
>> The following patches attempt to remove the duplicates, favouring the
>> original package definition.
>
> I sent one comment, otherwise the patches LGTM.

Thanks, I've now fixed that issue and pushed :)

[signature.asc (application/pgp-signature, inline)]
This bug report was last modified 6 years and 359 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.