From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p1JGlcJV006689
	for <caml-list@sympa-roc.inria.fr>; Sat, 19 Feb 2011 17:47:38 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtkGAEqDX01c8w3B/2dsb2JhbACYKY5/uiINhVEE
X-IronPort-AV: E=Sophos;i="4.62,192,1297033200"; 
   d="scan'208";a="88322929"
Received: from dangi.happyleptic.org (HELO dangi) ([92.243.13.193])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 19 Feb 2011 17:47:32 +0100
Received: from rixed by dangi with local (Exim 4.69)
	(envelope-from <rixed@happyleptic.org>)
	id 1Pqpy0-0005Lh-2w
	for caml-list@inria.fr; Sat, 19 Feb 2011 17:47:32 +0100
Date: Sat, 19 Feb 2011 17:47:32 +0100
From: rixed@happyleptic.org
To: caml-list@inria.fr
Message-ID: <20110219164732.GA20544@happyleptic.org>
References: <20110219163907.GA20459@happyleptic.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20110219163907.GA20459@happyleptic.org>
User-Agent: Mutt/1.5.18 (2008-05-17)
Subject: Re: [Caml-list] Changing toplevel options from the toplevel

Ok, just seen bug 4460.
Sorry for the noise.