#27463 OCaml CVE-2017-9772

Received: (at submit) by debbugs.gnu.org; 23 Jun 2017 16:42:04 +0000
From debbugs-submit-bounces@debbugs.gnu.org Fri Jun 23 12:42:04 2017
Received: from localhost ([127.0.0.1]:34693 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1dORem-0005Zl-FR
	for submit@debbugs.gnu.org; Fri, 23 Jun 2017 12:42:04 -0400
Received: from eggs.gnu.org ([208.118.235.92]:47594)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <leo@famulari.name>) id 1dORek-0005Yn-EO
 for submit@debbugs.gnu.org; Fri, 23 Jun 2017 12:42:02 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <leo@famulari.name>) id 1dORee-00086j-KB
 for submit@debbugs.gnu.org; Fri, 23 Jun 2017 12:41:57 -0400
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,T_DKIM_INVALID
 autolearn=disabled version=3.3.2
Received: from lists.gnu.org ([2001:4830:134:3::11]:49566)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <leo@famulari.name>) id 1dORee-00086a-HC
 for submit@debbugs.gnu.org; Fri, 23 Jun 2017 12:41:56 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:38549)
 by lists.gnu.org with esmtp (Exim 4.71)
 (envelope-from <leo@famulari.name>) id 1dORed-00038j-A7
 for bug-guix@gnu.org; Fri, 23 Jun 2017 12:41:56 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <leo@famulari.name>) id 1dORea-00084K-7j
 for bug-guix@gnu.org; Fri, 23 Jun 2017 12:41:55 -0400
Received: from out3-smtp.messagingengine.com ([66.111.4.27]:50263)
 by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <leo@famulari.name>) id 1dORea-000849-3K
 for bug-guix@gnu.org; Fri, 23 Jun 2017 12:41:52 -0400
Received: from compute4.internal (compute4.nyi.internal [10.202.2.44])
 by mailout.nyi.internal (Postfix) with ESMTP id 7B2F720A4C;
 Fri, 23 Jun 2017 12:41:51 -0400 (EDT)
Received: from frontend1 ([10.202.2.160])
 by compute4.internal (MEProxy); Fri, 23 Jun 2017 12:41:51 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=famulari.name;
 h=content-type:date:from:message-id:mime-version:subject:to
 :x-me-sender:x-me-sender:x-sasl-enc:x-sasl-enc; s=mesmtp; bh=Yn6
 WqXRMXhc+U9KWSdEwCuXov7PdhOBAXUCM1zjDjNw=; b=KNjTTtdOjSIRb0xRDDd
 q8QqVZ2XqhJ+uAZmlQgv+yutcXF6S7n9joxDNaFGe4l3Y5Mr2Wv4deSOgCQWOSpt
 qsF16ik2QMJzqogVhXxBircYWJctxcFyKCjdrNaSU6PwsM7yACMACo/zgWh3Xb9A
 7LI0fLwjz2ZMcX9XRQJikaMI=
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=
 messagingengine.com; h=content-type:date:from:message-id
 :mime-version:subject:to:x-me-sender:x-me-sender:x-sasl-enc
 :x-sasl-enc; s=fm1; bh=Yn6WqXRMXhc+U9KWSdEwCuXov7PdhOBAXUCM1zjDj
 Nw=; b=THcZzAlt/drYYP1Ovbl/7nxFe5kNhNthVYkYIft+wU851nq7weIBO7m5h
 HahqXVUmXt2zUfyluTkBLTnDzDpu5H72u2fPLIFqxMeI6ZH6Q06Q7QYNNXmwYcZp
 3Gg7TR8IRIPtFmRSZT3mFZfwzGFMo9j9qMOOxsRhEIB7oUntKwHg79pOND2evU0V
 iYaMUfwcNswADwDUhitrCl4xEb3TkqDzlquNF/G0k9pl0hbYPp/Qj9T4WVxM1e3F
 n4kHiNrWt+T33pRxKRQOjzBIvfNdSnVAfBzzvyB39n0o+M5DdRaMmnmFTEdK/2K4
 GwnDbJ+odOwpbN0SWWf20EWtgqiZQ==
X-ME-Sender: <xms:z0RNWeCDX4RCqEXrP6fV_ZXJGKCrhTvJb_wKJYOimKKr7prszWqZ3g>
X-Sasl-enc: 7sI0eU6vH67f4lEvQ/KL+vVD2JvQWGELlRMgvcG24Bua 1498236111
Received: from localhost (unknown [128.64.129.7])
 by mail.messagingengine.com (Postfix) with ESMTPA id 3C2CC7E5C8
 for <bug-guix@gnu.org>; Fri, 23 Jun 2017 12:41:51 -0400 (EDT)
Date: Fri, 23 Jun 2017 12:41:50 -0400
From: Leo Famulari <leo@famulari.name>
To: bug-guix@gnu.org
Subject: OCaml CVE-2017-9772
Message-ID: <20170623164150.GA15440@jasmine.lan>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha256;
 protocol="application/pgp-signature"; boundary="DocE+STaALJfprDB"
Content-Disposition: inline
User-Agent: Mutt/1.8.3 (2017-05-23)
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
 [fuzzy]
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Received-From: 2001:4830:134:3::11
X-Spam-Score: -4.1 (----)
X-Debbugs-Envelope-To: submit
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: -4.1 (----)