Subject: Re: [bug#37038] Amending author email
From: Ludovic Courtès <[email-masked]>
To: John Soo <[email-masked]>
Cc: Ricardo Wurmus <[email-masked]>, [email-masked]
Date: Wed, 28 Aug 2019 17:48:25 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

John Soo <[email-masked]> 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’.