[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#33478: [PATCH] gnu: agda: Upgrade to 2.5.4.2
|
From: |
Efraim Flashner |
|
Subject: |
bug#33478: [PATCH] gnu: agda: Upgrade to 2.5.4.2 |
|
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
signature.asc
Description: PGP signature