From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Sebastien.Hinderer@inria.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id A3AF77FA83
	for <caml-list@sympa.inria.fr>; Fri, 31 Mar 2017 15:40:25 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.36,252,1486422000"; 
   d="scan'208";a="218773145"
Received: from pl-59055.paris.inria.fr (HELO pl-59055.rocqadm.inria.fr) ([128.93.64.92])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 31 Mar 2017 15:40:25 +0200
Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.88)
	(envelope-from <Sebastien.Hinderer@inria.fr>)
	id 1ctwmu-0001m0-Us
	for caml-list@inria.fr; Fri, 31 Mar 2017 15:40:24 +0200
Date: Fri, 31 Mar 2017 15:40:24 +0200
From: =?utf-8?Q?S=C3=A9bastien?= Hinderer <Sebastien.Hinderer@inria.fr>
To: caml-list@inria.fr
Message-ID: <20170331134024.6dunqtg4zgapomrq@pl-59055.rocqadm.inria.fr>
Mail-Followup-To: caml-list@inria.fr
References: <20170324070558.GA36798@pllab.is.ocha.ac.jp>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <20170324070558.GA36798@pllab.is.ocha.ac.jp>
Subject: Re: [Caml-list] On .gitignore

Hi,

Kenichi Asai (2017/03/24 16:05 +0900):
> Why is /otherlibs/systhreads/thread.ml listed in .gitignore in the
> OCaml distribution (or in the github repository)?

It should not, indeed. Many thanks for the report.

The problem has been fixed in commit
9c06706292f6b7418650e08b270fb4cffe1f8678
that has just been pushed to OCaml's GitHub repository.

See the commit message for the explanation of why it was included.

Sébastien.