Message #18 received at 27463-done@debbugs.gnu.org (full text, mbox, reply):
Received: (at 27463-done) by debbugs.gnu.org; 14 Nov 2019 17:23:43 +0000 From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 14 12:23:42 2019 Received: from localhost ([127.0.0.1]:35166 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces@debbugs.gnu.org>) id 1iVIqM-00060r-LR for submit@debbugs.gnu.org; Thu, 14 Nov 2019 12:23:42 -0500 Received: from lepiller.eu ([89.234.186.109]:37984) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <julien@lepiller.eu>) id 1iVIqJ-00060g-MH for 27463-done@debbugs.gnu.org; Thu, 14 Nov 2019 12:23:40 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id ec150e60; Thu, 14 Nov 2019 17:23:37 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=lepiller.eu; h=date :in-reply-to:references:mime-version:content-type :content-transfer-encoding:subject:to:from:message-id; s=dkim; bh=4KM/HAV9cktKoOgkgq0emkb47Sc=; b=GWUqg7IEWojFnyZqs7V4BAmztxsZ sI8Qvfg/1/HmgjtxrNMWsv3BELoNDP8Y7168v+8242PJwkbuyZYsViTeFzVmRQvO evsBM1KAUjWTsYsvoxyBk30ZiK/nolgP7nigiS9ODO1CPMp2Eq7tTYfPWxsHotDK s+XKkjHwz3+yKJeFaIxjGhXrGWmupB3h8o6cCWcx10ZRGCjAKAdcz3bEvEZtUvI3 0DDyPaPnOh5Fp48BOGLTDu+4WdumiVcWVtFrIUH9zH+i2i/HdLmquWgR8ke34ZcY aNrzJ4spptHUqr5eoubpKs288sbxtX7+UMbXliJmfcKusa2fyWio6CqU0w== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 9641e9ad (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Thu, 14 Nov 2019 17:23:36 +0000 (UTC) Date: Thu, 14 Nov 2019 18:23:43 +0100 User-Agent: K-9 Mail for Android In-Reply-To: <CAJ3okZ13eoBcSC+rPOhMfZ6nCQRbGbSGROjikCUSeSQV-XAKaw@mail.gmail.com> References: <CAJ3okZ13eoBcSC+rPOhMfZ6nCQRbGbSGROjikCUSeSQV-XAKaw@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: Bug #27463 Hunting: OCaml CVE-2017-9772 To: zimoun <zimon.toutoune@gmail.com>,27463-done@debbugs.gnu.org From: Julien Lepiller <julien@lepiller.eu> Message-ID: <1BA7F507-8EF5-4F79-A921-965CF141BC27@lepiller.eu> X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 27463-done 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: -1.0 (-)
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.