#27463 OCaml CVE-2017-9772

Received: (at control) by debbugs.gnu.org; 27 Jul 2017 12:25:42 +0000
From debbugs-submit-bounces@debbugs.gnu.org Thu Jul 27 08:25:42 2017
Received: from localhost ([127.0.0.1]:57999 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1dahrK-0004Ck-7a
	for submit@debbugs.gnu.org; Thu, 27 Jul 2017 08:25:42 -0400
Received: from eggs.gnu.org ([208.118.235.92]:58810)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ludo@gnu.org>) id 1dahrI-0004CX-JH
 for control@debbugs.gnu.org; Thu, 27 Jul 2017 08:25:40 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <ludo@gnu.org>) id 1dahrA-0000zb-EP
 for control@debbugs.gnu.org; Thu, 27 Jul 2017 08:25:35 -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,RP_MATCHES_RCVD
 autolearn=disabled version=3.3.2
Received: from fencepost.gnu.org ([2001:4830:134:3::e]:55952)
 by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <ludo@gnu.org>)
 id 1dahrA-0000zV-Bt
 for control@debbugs.gnu.org; Thu, 27 Jul 2017 08:25:32 -0400
Received: from [193.50.110.224] (port=37436 helo=ribbon)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <ludo@gnu.org>) id 1dahr9-0006Il-5K
 for control@debbugs.gnu.org; Thu, 27 Jul 2017 08:25:31 -0400
Date: Thu, 27 Jul 2017 14:25:29 +0200
Message-Id: <87shhi3w3q.fsf@gnu.org>
To: control@debbugs.gnu.org
From: ludo@gnu.org (Ludovic Courtès)
Subject: control message for bug #27463
MIME-version: 1.0
Content-type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-Received-From: 2001:4830:134:3::e
X-Spam-Score: -5.0 (-----)
X-Debbugs-Envelope-To: control
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: -5.0 (-----)