From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <markus.mottl@gmail.com>
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 EBB617EC6E
	for <caml-list@sympa.inria.fr>; Tue, 14 Jan 2014 15:06:19 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  markus.mottl@gmail.com) identity=pra;
  client-ip=209.85.212.175;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="markus.mottl@gmail.com";
  x-sender="markus.mottl@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  markus.mottl@gmail.com designates 209.85.212.175 as permitted
  sender) identity=mailfrom; client-ip=209.85.212.175;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="markus.mottl@gmail.com";
  x-sender="markus.mottl@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-wi0-f175.google.com) identity=helo;
  client-ip=209.85.212.175;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="markus.mottl@gmail.com";
  x-sender="postmaster@mail-wi0-f175.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApsDAOdC1VLRVdSvlGdsb2JhbABag0NWuk0BCYELCBYOAQEBAQcLCwkSKoIlAQEBBEABFAcSCwEDDAYFCw0uIQEBEQEFARwGE4dvAQMRnR+MXIMJkTEKGScNZIQ5EQEFDIxogTERAVAHhDcEiUWMbYFsjFqDThgphHcegTU
X-IPAS-Result: ApsDAOdC1VLRVdSvlGdsb2JhbABag0NWuk0BCYELCBYOAQEBAQcLCwkSKoIlAQEBBEABFAcSCwEDDAYFCw0uIQEBEQEFARwGE4dvAQMRnR+MXIMJkTEKGScNZIQ5EQEFDIxogTERAVAHhDcEiUWMbYFsjFqDThgphHcegTU
X-IronPort-AV: E=Sophos;i="4.95,658,1384297200"; 
   d="scan'208";a="53183615"
Received: from mail-wi0-f175.google.com ([209.85.212.175])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 Jan 2014 15:06:19 +0100
Received: by mail-wi0-f175.google.com with SMTP id hr1so741887wib.8
        for <caml-list@inria.fr>; Tue, 14 Jan 2014 06:06:19 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=8ptZCto/m+ZQ6yl8ju03PMgbh2xUCQGvQZ9mOJaRYX0=;
        b=spQnZVS44G09qpbv2kUkAd3q2kdfMB/QKhaDQyxgt8tq3HCGKky8lKlAP3kix6N8ba
         jrZwG964lSSzZ3CWkjaDUsZAnnqBqm8BazZ2H6KXbT6UOs2A5iu56+G9EXb+aDTN8an9
         7UrDjRLxaMiZFaLbfdi5Indmw/B2cWV0GXoag5+CGw1SnGsUkRq0HDDv4KuvH0INx3fD
         JEc7H05BOGFRHaKKlPuuE7tbRddI008nlMQZc1vIzH0XkeYGMTF1MtbEp8gaMadd2IrD
         mmj8/QgVGKkQBEEkxVcvdNSlxnkbiyUGt4maIkQbLiZzulbiaK0l1gfo9N88v3frC6bx
         IK2g==
MIME-Version: 1.0
X-Received: by 10.180.149.238 with SMTP id ud14mr3184938wib.16.1389708379453;
 Tue, 14 Jan 2014 06:06:19 -0800 (PST)
Received: by 10.195.13.41 with HTTP; Tue, 14 Jan 2014 06:06:19 -0800 (PST)
In-Reply-To: <98AFA71F-3A52-4BD0-B9B2-D19217710937@gazagnaire.org>
References: <20140111152357.GB28133@notk.org>
	<20140111154146.GA976@lenat>
	<20140113090444.GA8904@notk.org>
	<52D3B71B.40802@cea.fr>
	<CAPFanBGE-Ey8pmG_cnpCWO_xCosNO0pUQunw8O4wS0ugGU4tSg@mail.gmail.com>
	<E4B0C895D5F24EA5BAB5F3A05D87D2D5@erratique.ch>
	<CAPFanBFZM5+-u9tDd1eSpVN2jzEYwDijiu109VoOLPteEfkyBQ@mail.gmail.com>
	<20140114111326.GF4460@kerneis.info>
	<52D53A6D.6000201@cea.fr>
	<98AFA71F-3A52-4BD0-B9B2-D19217710937@gazagnaire.org>
Date: Tue, 14 Jan 2014 09:06:19 -0500
Message-ID: <CAP_800oSocf6XTnBkp=hV0otyhvZEqDU25mv1DLdiWvcFEXrUw@mail.gmail.com>
From: Markus Mottl <markus.mottl@gmail.com>
To: Thomas Gazagnaire <thomas@gazagnaire.org>
Cc: =?ISO-8859-1?Q?Fran=E7ois_Bobot?= <francois.bobot@cea.fr>, 
	Gabriel Scherer <gabriel.scherer@gmail.com>, caml users <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [Caml-list] Doing compiler patch review with a dedicated
 mailing-list

On Tue, Jan 14, 2014 at 8:27 AM, Thomas Gazagnaire
<thomas@gazagnaire.org> wrote:
>> 1/ github (strong preference)
>> 2/ gitlab (weak preference)
>> 3/ git-send-email (never used)
>> 4/ mantis (strong aversion)
>
> Same here.

And here.

Regards,
Markus

-- 
Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com