From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Sebastien.Hinderer@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 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

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.