From mboxrd@z Thu Jan 1 00:00:00 1970 From: Pierre Neidhardt Subject: Re: bug#33844: Rename ghc-pandoc to pandoc Date: Wed, 26 Feb 2020 13:17:52 +0100 Message-ID: <87wo898rv3.fsf@ambrevar.xyz> References: <9251b0f558ee90be48420e76d7c4d326@riseup.net> <878skpacih.fsf@ambrevar.xyz> <87wo89imsx.fsf@elephly.net> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:51192) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j6vdX-00013C-GD for guix-devel@gnu.org; Wed, 26 Feb 2020 07:18:00 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1j6vdW-0001A4-0k for guix-devel@gnu.org; Wed, 26 Feb 2020 07:17:59 -0500 Received: from relay7-d.mail.gandi.net ([217.70.183.200]:40469) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1j6vdV-00011O-Qv for guix-devel@gnu.org; Wed, 26 Feb 2020 07:17:57 -0500 In-Reply-To: <87wo89imsx.fsf@elephly.net> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org Sender: "Guix-devel" To: Ricardo Wurmus Cc: 33844@debbugs.gnu.org, guix-devel@gnu.org --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Ricardo Wurmus writes: > We should also rename all uses of ghc-pandoc in the same patch. Oops! I'll resend patch 39798. =2D-=20 Pierre Neidhardt https://ambrevar.xyz/ --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAl5WYfAACgkQm9z0l6S7 zH8CcQf/f8ufge0/kPXlhJSuGJi2EKkTRsxlevBsUjFeXzj7ejTngk7VPTkjxB/s HB6qrF16ufNOk0M3hGrbwwI6JU5U9tVbKXPOC0nPGQdYrLFiso7mGd5VfWRa98Te FZL/bjG6c74wEKjAnTBv0kNyzEz1VkL/UPfkvASv0FnsTrG3j6ytidjG9CcKmFt3 yY9twLDzXNKQItZpA3z4GJ4LK6ZOYW29cVRSJdxW7XHV9Uaz6tgb2xdNjmR/9yTa pppzmIm0qs5I9DrMGbuWb8HwDjpAr2cAvIlLh51Drv7C2TKqvdOALYYkEvL1eam2 TEITje4Iw884byNp70P+LsSIdBGBhg== =bOPh -----END PGP SIGNATURE----- --=-=-=--