[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#37038: Amending author email
From: |
Ludovic Courtès |
Subject: |
bug#37038: Amending author email |
Date: |
Wed, 28 Aug 2019 17:48:25 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) |
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’.
- [bug#37038] [PATCH] Add Cedille., John Soo, 2019/08/15
- [bug#37038] Amending author email, John Soo, 2019/08/15
- [bug#37038] Amending author email, Ludovic Courtès, 2019/08/27
- [bug#37038] Amending author email, John Soo, 2019/08/28
- [bug#37038] Amending author email, John Soo, 2019/08/28
- [bug#37038] Amending author email, John Soo, 2019/08/28
- [bug#37038] Amending author email, Ricardo Wurmus, 2019/08/28
- [bug#37038] Amending author email, John Soo, 2019/08/28
- [bug#37038] Amending author email, John Soo, 2019/08/28
- bug#37038: Amending author email,
Ludovic Courtès <=
- [bug#37038] Amending author email, John Soo, 2019/08/28