From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 6CD4A7ED26 for ; Wed, 6 Jun 2012 15:04:36 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: An4BAPRUz0+C5gQqkWdsb2JhbABFFrRBAQEBAQkLCxsEI4IZAQU6TwshJQ8BBBiIT7ctjheDFgOIOoxigRCRSw X-IronPort-AV: E=Sophos;i="4.75,724,1330902000"; d="scan'208";a="161590573" Received: from mail.cs.tut.fi ([130.230.4.42]) by mail1-smtp-roc.national.inria.fr with SMTP; 06 Jun 2012 15:04:36 +0200 Received: from amavis1.cs.tut.fi (amavis1.cs.tut.fi [130.230.4.69]) by mail.cs.tut.fi (Postfix) with ESMTP id 198D2CE for ; Wed, 6 Jun 2012 16:04:35 +0300 (EEST) Received: from mail.cs.tut.fi ([130.230.4.42]) by amavis1.cs.tut.fi (amavis1.cs.tut.fi [130.230.4.69]) (amavisd-maia, port 10024) with ESMTP id 29823-43 for ; Wed, 6 Jun 2012 16:04:34 +0300 (EEST) Received: from coffee.modeemi.fi (coffee.modeemi.fi [130.230.72.140]) by mail.cs.tut.fi (Postfix) with SMTP id 648D0CC for ; Wed, 6 Jun 2012 16:04:34 +0300 (EEST) Received: by coffee.modeemi.fi (Postfix, from userid 17990) id CB7A92D61C5; Wed, 6 Jun 2012 16:04:02 +0300 (EEST) From: Erkki Seppala To: caml-list@yquem.inria.fr References: <48BE1C34-0459-4E72-AD89-8DABD92CAD5F@inria.fr> Date: Wed, 06 Jun 2012 16:04:02 +0300 In-Reply-To: <48BE1C34-0459-4E72-AD89-8DABD92CAD5F@inria.fr> (Damien Doligez's message of "Wed, 6 Jun 2012 11:50:58 +0200") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Virus-Scanned: Maia Mailguard 1.0.2 Subject: Re: [Caml-list] Beta release of OCaml 4.00.0 Great job! > - PR#5437: warning for useless open statements Maybe this is actually PR#5357? PR#5437 is "Patch to allow command line arguments in Arg module to be undocumented". -- _____________________________________________________________________ / __// /__ ____ __ http://www.modeemi.fi/~flux/\ \ / /_ / // // /\ \/ / \ / /_/ /_/ \___/ /_/\_\@modeemi.fi \/