[Top][All Lists]

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

bug#33478: [PATCH] gnu: agda: Upgrade to

From: Efraim Flashner
Subject: bug#33478: [PATCH] gnu: agda: Upgrade to
Date: Thu, 5 Dec 2019 10:34:41 +0200
User-agent: Mutt/1.12.2 (2019-09-21)

On Wed, Dec 04, 2019 at 06:39:32PM -0600, Brett Gilio wrote:
> This is a historical bug report and is no longer relevant. It can be
> closed.

The easiest way to do this is to send an email to
address@hidden and that will close the bug.

Efraim Flashner   <address@hidden>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

Attachment: signature.asc
Description: PGP signature

reply via email to

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