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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 81FDB7EFCD for ; Thu, 30 Oct 2014 10:44:39 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.07,284,1413237600"; d="scan'208";a="103721448" Received: from pl-59055.rocqadm.inria.fr ([128.93.59.55]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 30 Oct 2014 10:44:33 +0100 Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.76) (envelope-from ) id 1XjmHR-0008Gs-JO for caml-list@inria.fr; Thu, 30 Oct 2014 10:44:33 +0100 Date: Thu, 30 Oct 2014 10:44:33 +0100 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20141030094433.GA20710@pl-59055.rocqadm.inria.fr> Mail-Followup-To: caml-list@inria.fr References: <20141023121202.GA22996@pl-59055.rocqadm.inria.fr> <20141029143025.GA16501@pema> <20141029152932.GE13201@pema> <21586.845.886585.622116@fanon.loria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <21586.845.886585.622116@fanon.loria.fr> Subject: Re: [Caml-list] Filename.temp_dir_name Excellent point, many thanks Sylvain! Sébstien.