From debbugs-submit-bounces@debbugs.gnu.org Tue Dec 13 08:53:33 2022 Received: (at 59895-done) by debbugs.gnu.org; 13 Dec 2022 13:53:33 +0000 Received: from localhost ([127.0.0.1]:60606 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p55iv-00048m-DU for submit@debbugs.gnu.org; Tue, 13 Dec 2022 08:53:33 -0500 Received: from mira.cbaines.net ([212.71.252.8]:42066) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p55it-00048g-TJ for 59895-done@debbugs.gnu.org; Tue, 13 Dec 2022 08:53:32 -0500 Received: from localhost (unknown [IPv6:2a02:8010:68c1:0:54d1:d5d4:280e:f699]) by mira.cbaines.net (Postfix) with ESMTPSA id 7E0C827BBE9; Tue, 13 Dec 2022 13:53:31 +0000 (GMT) Received: from felis (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id dd697bac; Tue, 13 Dec 2022 13:53:30 +0000 (UTC) References: <20221207235958.GB22001@dismail.de> User-agent: mu4e 1.8.11; emacs 28.2 From: Christopher Baines To: jgart Subject: Re: [bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4. Date: Tue, 13 Dec 2022 13:53:01 +0000 In-reply-to: <20221207235958.GB22001@dismail.de> Message-ID: <87lenbo1et.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 59895-done Cc: 59895-done@debbugs.gnu.org, guix-patches@gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain This seems good to me, I've pushed to master as 87638cdd48ccf9537e3e5bcc8156df7a38c1e54a. Thanks, Chris --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQKlBAEBCgCPFiEEPonu50WOcg2XVOCyXiijOwuE9XcFAmOYg9pfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDNF ODlFRUU3NDU4RTcyMEQ5NzU0RTBCMjVFMjhBMzNCMEI4NEY1NzcRHG1haWxAY2Jh aW5lcy5uZXQACgkQXiijOwuE9XdoShAAgoT2HZuJg63HA0644aiNn2szJoq7dcp4 rQHWIjXzghfQb/UX766fxoSAhCEEXSrNmtaDYrapLjCXPonyaXeYpohItqgMJsZq tuoMc70g5Ty4kjsKV11zB00uTm71AIagyr3UoturmB2Src2wn3Hw9r2U8BSeL1Cd PPyxLoa+qJs13ck/we7WUzB7lqBbTOdQEZ57sN1JTe2ZrE7IBo7+Y0qIY5LhgarM UU8dT5v482j9FIqxzsZJJP8nz+XL+IVfqi4XPYbJqLOAGppZq9bxdrYVsAV8rHpj qHP0CDA8+UmAQW2Somkm3gJjaoAMREo7EHRz54+DX63i2lmcwJMfpI3em8+W36WA j4/IomAw+BvOHy3nhwEaYROd7h2yiSNBmz69rI6m7z72Go//HYQ7LP4g1YvXwgep yEGYqqVDhTv2Skt7uxeUz7IpZ9y1u0lpb2AX5wdxrEU52JEkDMDiBuIdwuGJfbWz K8J+Tl5sUViWGsR1qL7e7FCLunNPb/4khff56e4Nyu3wHAYKYwxnvaezky0CGrOb rz9KTOW216OW7dLuuuz/0MwQJc2lzgkUPOhkIbmFyJcifrajiewtQitGCdq1Ckac FCVGJ96sdMMBRTUxS6RMTpKJFHc/+hPEzW+iB4w7zZUMXXwYaTGW6avKbwFY6SJG OyGMTlSYgR4= =3AnW -----END PGP SIGNATURE----- --=-=-=--