[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 15:10:30 +0000

Hi again,

One last set removing an unused import and moving a comment.

- John

Attachment: 0001-gnu-agda-ial-Fix-install-step.patch
Description: Source code patch

Attachment: 0002-gnu-Add-cedille.patch
Description: Source code patch

reply via email to

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