#27462 OCaml CVE-2015-8869

Received: (at 27462) by debbugs.gnu.org; 31 Jan 2019 16:57:26 +0000
From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 31 11:57:26 2019
Received: from localhost ([127.0.0.1]:53223 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1gpFeY-0003jI-KB
	for submit@debbugs.gnu.org; Thu, 31 Jan 2019 11:57:26 -0500
Received: from hera.aquilenet.fr ([185.233.100.1]:42184)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <andreas@enge.fr>) id 1gpFeW-0003j8-1I
 for 27462@debbugs.gnu.org; Thu, 31 Jan 2019 11:57:25 -0500
Received: from localhost (localhost [127.0.0.1])
 by hera.aquilenet.fr (Postfix) with ESMTP id 798B99A95;
 Thu, 31 Jan 2019 17:57:22 +0100 (CET)
X-Virus-Scanned: Debian amavisd-new at aquilenet.fr
Received: from hera.aquilenet.fr ([127.0.0.1])
 by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024)
 with ESMTP id 0Yoymwj22hNZ; Thu, 31 Jan 2019 17:57:21 +0100 (CET)
Received: from jurong (cable-78.29.213.16.coditel.net [78.29.213.16])
 by hera.aquilenet.fr (Postfix) with ESMTPSA id D3BE99A8E;
 Thu, 31 Jan 2019 17:57:20 +0100 (CET)
Date: Thu, 31 Jan 2019 17:57:03 +0100
From: Andreas Enge <andreas@enge.fr>
To: 27462@debbugs.gnu.org
Subject: OCaml CVE-2015-8869
Message-ID: <20190131165613.GA27597@jurong>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.11.0 (2018-11-25)
X-Spam-Score: 0.7 (/)
X-Debbugs-Envelope-To: 27462
Cc: Ben Woodcroft <b.woodcroft@uq.edu.au>
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.3 (/)