[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#37038] Amending author email

From: John Soo
Subject: [bug#37038] Amending author email
Date: Wed, 28 Aug 2019 10:00:01 -0700

No problem thanks so much Ludo!

> On Aug 28, 2019, at 8:48 AM, Ludovic Courtès <address@hidden> wrote:
> Hi,
> John Soo <address@hidden> 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’.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]