Message #8 received at 27463@debbugs.gnu.org (full text, mbox, reply):
Received: (at 27463) by debbugs.gnu.org; 29 Jun 2017 19:17:52 +0000 From debbugs-submit-bounces@debbugs.gnu.org Thu Jun 29 15:17:52 2017 Received: from localhost ([127.0.0.1]:45028 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces@debbugs.gnu.org>) id 1dQewq-0006El-8f for submit@debbugs.gnu.org; Thu, 29 Jun 2017 15:17:52 -0400 Received: from flashner.co.il ([178.62.234.194]:38322) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <efraim@flashner.co.il>) id 1dQewo-0006EY-GF for 27463@debbugs.gnu.org; Thu, 29 Jun 2017 15:17:50 -0400 Received: from localhost (85.64.232.168.dynamic.barak-online.net [85.64.232.168]) by flashner.co.il (Postfix) with ESMTPSA id 6D937400D7; Thu, 29 Jun 2017 19:17:44 +0000 (UTC) Date: Thu, 29 Jun 2017 22:17:41 +0300 From: Efraim Flashner <efraim@flashner.co.il> To: Leo Famulari <leo@famulari.name> Subject: Re: bug#27463: OCaml CVE-2017-9772 Message-ID: <20170629191741.GE1734@macbook42.flashner.co.il> References: <20170623164150.GA15440@jasmine.lan> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="uCPdOCrL+PnN2Vxy" Content-Disposition: inline In-Reply-To: <20170623164150.GA15440@jasmine.lan> User-Agent: Mutt/1.8.3 (2017-05-23) X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 27463 Cc: 27463@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit@debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org> X-Spam-Score: -0.0 (/)
[Message part 1 (text/plain, inline)]
[signature.asc (application/pgp-signature, inline)]
Send a report that this bug log contains spam.
Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.
Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.