[bug#37038] Amending author email

[John Soo]

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’.