From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTP id F2EEF2DF6
	for <caml-list@inbox.ocaml.org>; Mon, 11 Mar 2019 13:41:01 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.58,467,1544482800"; 
   d="scan'208";a="372841743"
Received: from sympa.inria.fr ([193.51.193.213])
  by mail2-relais-roc.national.inria.fr with ESMTP; 11 Mar 2019 14:41:00 +0100
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id C95C68264C; Mon, 11 Mar 2019 14:41:00 +0100 (CET)
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 7669E82581
	for <caml-list@sympa.inria.fr>; Mon, 11 Mar 2019 14:40:51 +0100 (CET)
X-IronPort-AV: E=Sophos;i="5.58,467,1544482800"; 
   d="scan'208";a="298810876"
Received: from prajna.paris.inria.fr ([128.93.65.171])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 11 Mar 2019 14:40:51 +0100
Received: from shindere by prajna.paris.inria.fr with local (Exim 4.92)
	(envelope-from <Sebastien.Hinderer@inria.fr>)
	id 1h3LAh-0005Ct-4P
	for caml-list@inria.fr; Mon, 11 Mar 2019 14:40:51 +0100
Date: Mon, 11 Mar 2019 14:40:51 +0100
From: =?utf-8?Q?S=C3=A9bastien?= Hinderer <Sebastien.Hinderer@inria.fr>
To: caml-list@inria.fr
Message-ID: <20190311134051.GA19993@prajna.paris.inria.fr>
Mail-Followup-To: caml-list@inria.fr
References: <CADK7aFN6AxOD4nh+ddZR+HJ5Zw09JDSNC-6Bj0rrR0+QTmj1=A@mail.gmail.com>
 <CAJbYVJ+fpT=zMRKDft=SqiZu02fBQCV2ARTXVRympv1cGq-ONw@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <CAJbYVJ+fpT=zMRKDft=SqiZu02fBQCV2ARTXVRympv1cGq-ONw@mail.gmail.com>
Subject: Re: [Caml-list] IMPORTANT: Switching from Mantis to GitHub issues
 on March 14th
Reply-To: =?utf-8?Q?S=C3=A9bastien?= Hinderer <Sebastien.Hinderer@inria.fr>
X-Loop: caml-list@inria.fr
X-Sequence: 17398
Errors-to: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Post: <mailto:caml-list@inria.fr>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>

Yawar Amin (2019/03/11 09:35 -0400):
> This is good news. If I understand correctly, I don't need to do anything
> if my Mantis and GitHub usernames are the same, right?

I think you do need to do something even in that case. It sounds safer
to just write to Nicolas.

Sébastien.