From debbugs-submit-bounces@debbugs.gnu.org Thu Mar 17 05:12:34 2022 Received: (at 54413-done) by debbugs.gnu.org; 17 Mar 2022 09:12:34 +0000 Received: from localhost ([127.0.0.1]:53048 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nUmBO-0003K2-Hs for submit@debbugs.gnu.org; Thu, 17 Mar 2022 05:12:34 -0400 Received: from mout01.posteo.de ([185.67.36.65]:52821) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nUmBN-0003Jp-AB for 54413-done@debbugs.gnu.org; Thu, 17 Mar 2022 05:12:33 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 8048B24002C for <54413-done@debbugs.gnu.org>; Thu, 17 Mar 2022 10:12:27 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1647508347; bh=+08bZAOGvCRkWVRSAcIQlrOBdmLpZk+vb+Sc8mjRwhI=; h=From:To:Cc:Subject:Date:From; b=E1znrPN9F2gjJSh0nKhhQqRZXXd+jGCO01fNK5s22uPuIdFe9yMRsq9Dw2CE408CE q1bzxnQRtsW65tStz6skN2G2/rT9aQqSgMCtsg2xsfRm4SpVXFQBmDb7JI8z87SHd4 7BElq9gUXWmAyXCCujLXKNk5uTe4cO3kT2QnJWV0jYxRXzC1UKI3VxV3ZEUfjEoDzL fdFtyLxGLce53aVJNfl7Ks4mMWdici5ZpGvkOf1httVq0Ih36adsNDU4wpj05jeumS 3qxXibYe0PRIVteasZZpRfTX9emG3R/DFUEppKzSsqEsyXDHDDe4CcZKJuR7Qp24hF GToKIK0bqZeSg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4KK1cn5cD0z6tml; Thu, 17 Mar 2022 10:12:25 +0100 (CET) References: <20220316001105.982-1-jgart@dismail.de> <20220316041807.28997-1-jgart@dismail.de> From: Guillaume Le Vaillant To: jgart Subject: Re: [bug#54413] [PATCH v3] gnu: sicp: Update to bda03f7. Date: Thu, 17 Mar 2022 09:11:50 +0000 In-reply-to: <20220316041807.28997-1-jgart@dismail.de> Message-ID: <871qz12b9j.fsf@kitej> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 54413-done Cc: 54413-done@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: -3.3 (---) --=-=-= Content-Type: text/plain Patch pushed as bae2201a8ddf789dff3f625327f5b2d0a686bc77. Thanks. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIUEAREKAC0WIQTLxZxm7Ce5cXlAaz5r6CCK3yH+PwUCYjL7eA8cZ2x2QHBvc3Rl by5uZXQACgkQa+ggit8h/j/EuQD/eotJHBDdVH/8NCYnZ0SmFIXGouErIjq2e6nJ Q2ny5XoA/20N+3Vea46p+VqUaA/PZVrAGhV6VuHd1jc5H43b0MyG =j8hH -----END PGP SIGNATURE----- --=-=-=--