From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:42004) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1icmcH-00059s-IN for guix-patches@gnu.org; Thu, 05 Dec 2019 03:36:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1icmcG-000251-GY for guix-patches@gnu.org; Thu, 05 Dec 2019 03:36:05 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:36978) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1icmcE-00023w-Kz for guix-patches@gnu.org; Thu, 05 Dec 2019 03:36:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1icmcE-0003ay-Ij for guix-patches@gnu.org; Thu, 05 Dec 2019 03:36:02 -0500 Subject: bug#33478: [PATCH] gnu: agda: Upgrade to 2.5.4.2 Resent-To: guix-patches@gnu.org Resent-Message-ID: Date: Thu, 5 Dec 2019 10:34:41 +0200 From: Efraim Flashner Message-ID: <20191205083441.GM15280@E5400> References: <20181124042450.8500-1-brettg@posteo.net> <87fthz61x7.fsf@posteo.net> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="q8dntDJTu318bll0" Content-Disposition: inline In-Reply-To: <87fthz61x7.fsf@posteo.net> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Brett Gilio Cc: 33478-done@debbugs.gnu.org --q8dntDJTu318bll0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Wed, Dec 04, 2019 at 06:39:32PM -0600, Brett Gilio wrote: >=20 > This is a historical bug report and is no longer relevant. It can be > closed. >=20 The easiest way to do this is to send an email to XXXXX-done@debbugs.gnu.org and that will close the bug. --=20 Efraim Flashner =D7=90=D7=A4=D7=A8=D7=99=D7=9D = =D7=A4=D7=9C=D7=A9=D7=A0=D7=A8 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --q8dntDJTu318bll0 Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAl3owR4ACgkQQarn3Mo9 g1EGsw//T3GUxQ6tvx85KFBR904YqtrANgV2HsKcqChriB2bHGCVMKR582jzMamT EMAPYk8lt3gAvovkGdxOdAjXuLaw1z8av0FuD9CmjphZYxIiWw3IkdxTWdA26CSH NdoyB/cblrIvxelg+Wz9b74ijJlBhKzsiWK8z2UZ2t9+oFbXbyXXQDpbt3NM/aL0 7aPARnEt1n0dwY1+s04Xn7u8NaQshTz7MbKODUw+rDr46d+2YqNZYCDCVU6aJ7CK +Rexo9AtMpzy7H9RkQUxzOvi/Uz2DZuQWpsVgZdbPufPRyXF4nX31VqVoVWVGKMQ lDOlRR0myiL0zRF9ZEi0yxqdYzIzXI4PNmpRd3zQO5hNeorJJ++82droP8U6bpUX DFXJJ8lHs8fQin6Zmtv4lV2ASub5d/O3rqtUWnr9OKWL36lndEgKCNkOl1rflj73 +X+/q6Nsi5rGIqknhrJc1mqgSy5i+aFj5RwcPTbGluKWlJnD6uFSfHXZ56VzNKup cpbWFhTe9XZDCqEhaiEG1w0Y/i/hLKsurkBFGSci5H/18yXYVE+18uEFQUHHqxiN kHzqxXmvfYkBvC33wJCMQrR9/wngltAPr3/GZPTXS61FuiJjaqXk7y0nfpAuzqUV wuqdUfxgpYW6t432bZIGCBpNJLj5r0bVTMwq8qYHR972Qh8DvLk= =PnmS -----END PGP SIGNATURE----- --q8dntDJTu318bll0--