GNU bug report logs - #37038
[PATCH] Add Cedille.

Previous Next

Package: guix-patches;

Reported by: John Soo <jsoo1 <at> asu.edu>

Date: Thu, 15 Aug 2019 16:09:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

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

From: Ludovic Courtès <ludo <at> gnu.org>
To: John Soo <jsoo1 <at> asu.edu>
Cc: Ricardo Wurmus <rekado <at> elephly.net>, 37038-done <at> debbugs.gnu.org
Subject: Re: [bug#37038] Amending author email
Date: Wed, 28 Aug 2019 17:48:25 +0200

Hi,

John Soo <jsoo1 <at> asu.edu> skribis:

> I fixed the lint warnings from before and removed a dependency on git with
> this patchset (along with the fill-paragraph magic).

Perfect, I applied both after tweaking the commit log of the second
patch.

Apologies if I introduced a regression in agda-ial when I switched it to
‘git-fetch’!

Thanks,
Ludo’.
This bug report was last modified 5 years and 321 days ago.

Previous Next

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