From debbugs-submit-bounces@debbugs.gnu.org Thu Jul 04 09:52:48 2019 Received: (at 36393) by debbugs.gnu.org; 4 Jul 2019 13:52:48 +0000 Received: from localhost ([127.0.0.1]:50598 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hj2AK-0004Mr-Ig for submit@debbugs.gnu.org; Thu, 04 Jul 2019 09:52:48 -0400 Received: from relay12.mail.gandi.net ([217.70.178.232]:38653) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hj2AI-0004Mh-1F for 36393@debbugs.gnu.org; Thu, 04 Jul 2019 09:52:47 -0400 Received: from bababa (lfbn-1-4117-127.w92-169.abo.wanadoo.fr [92.169.116.127]) (Authenticated sender: pierre@atlas.engineer) by relay12.mail.gandi.net (Postfix) with ESMTPSA id D53F4200006; Thu, 4 Jul 2019 13:52:42 +0000 (UTC) From: Pierre Neidhardt To: Guillaume LE VAILLANT Subject: Re: [PATCH] gnu: Add sbcl-dexador. In-Reply-To: <87v9wkevf9.fsf@yamatai> References: <87v9wkevf9.fsf@yamatai> Date: Thu, 04 Jul 2019 15:52:42 +0200 Message-ID: <87pnmpuct1.fsf@ambrevar.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: -0.2 (/) X-Debbugs-Envelope-To: 36393 Cc: 36393@debbugs.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: -0.2 (/) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable It did fix it indeed, thanks for the tip! =2D-=20 Pierre Neidhardt https://ambrevar.xyz/ --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAl0eBKoACgkQm9z0l6S7 zH/5YggApCupqDqJ2lQUyOMTp5h9GGLneWOvjaGV01IxxdRkXpNO10PdutXfR6rk ojzBpAhLXxWcxPvYYn+FmXky8OzMJ6/CGEofx9X2np8yln6wrEm2GupGfV9dr+YV 7GFMu1G+6jcfqt3J+ljY2qvQIJxKn4LiJHz9ooUJv28YuyC8lsRseZ2MDyvizqkN nZlCyOTnSgIAKSWkoSPpHl8R5OmsTQIwQxUQNZmwbzG7pvq9qzIQsyMkdIi3crW5 GVI8LeXLQAHt76WxKpl5nf/PNLliytjJlAvn2M4jkjl6UgqZT7RXqY82RXWjkatz 94N/va6QKuCC0QLv0EG7qzWEnXSKlg== =yyEI -----END PGP SIGNATURE----- --=-=-=--