From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <michipili@gmail.com>
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 47D227FD90
	for <caml-list@sympa.inria.fr>; Wed, 11 Jan 2017 08:16:12 +0100 (CET)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michipili@gmail.com; spf=Pass smtp.mailfrom=michipili@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f44.google.com
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  michipili@gmail.com) identity=pra; client-ip=74.125.82.44;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="michipili@gmail.com";
  x-sender="michipili@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  michipili@gmail.com designates 74.125.82.44 as permitted
  sender) identity=mailfrom; client-ip=74.125.82.44;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="michipili@gmail.com";
  x-sender="michipili@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-wm0-f44.google.com) identity=helo;
  client-ip=74.125.82.44;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="michipili@gmail.com";
  x-sender="postmaster@mail-wm0-f44.google.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3A/C7zIhZ9TRKWWeFyHa4HO7j/LSx+4OfEezUN459i?=
 =?us-ascii?q?sYplN5qZpcy4bnLW6fgltlLVR4KTs6sC0LuK9fq/EjVYvt7B6ClEK8McEUddyI?=
 =?us-ascii?q?0/pE8JPo2sMQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7Mhdp?=
 =?us-ascii?q?dKyuQtaBx5f/6+fnwIzXfQxJgnKZbPtdJRGy5VHKp80IiIpkaaE6wx7Nin9FPu?=
 =?us-ascii?q?tfwWcuI1+PyUXS/MC1qbti+CRZtvYW2NTUV6jldqA0BehdDT8mMng04MzDuhzK?=
 =?us-ascii?q?TA/J7XwZBDZF2iFUChTIuUmpFqz6tTH347Jw?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D5DQBL23VYgCxSfUpdHAEBBAEBCgEBF?=
 =?us-ascii?q?wEBBAEBCgEBgxABAQEBAXSBF45JmiSOQ4YiAoIKRA8BAQEBAQEBAQEBARIBAQk?=
 =?us-ascii?q?NCQobMkISgV8Zgh4GOgYBGx0BAwwGBQs7IxEBBQEcBoh3AQMLDQSjaz+OBgUBH?=
 =?us-ascii?q?IMJBYNqChknDVSBdAEBAQEBAQEBAQEBAQEBAQEBAQEBARUCBgkBCIg1CIJXh3u?=
 =?us-ascii?q?CMQWbKZFSgV8BiD4Khj2OOoJhMoEUN4FhTxABA4IQggFbgTBygnOFcwEBAQ?=
X-IPAS-Result: =?us-ascii?q?A0D5DQBL23VYgCxSfUpdHAEBBAEBCgEBFwEBBAEBCgEBgxA?=
 =?us-ascii?q?BAQEBAXSBF45JmiSOQ4YiAoIKRA8BAQEBAQEBAQEBARIBAQkNCQobMkISgV8Zg?=
 =?us-ascii?q?h4GOgYBGx0BAwwGBQs7IxEBBQEcBoh3AQMLDQSjaz+OBgUBHIMJBYNqChknDVS?=
 =?us-ascii?q?BdAEBAQEBAQEBAQEBAQEBAQEBAQEBARUCBgkBCIg1CIJXh3uCMQWbKZFSgV8Bi?=
 =?us-ascii?q?D4Khj2OOoJhMoEUN4FhTxABA4IQggFbgTBygnOFcwEBAQ?=
X-IronPort-AV: E=Sophos;i="5.33,345,1477954800"; 
   d="scan'208";a="254789351"
Received: from mail-wm0-f44.google.com ([74.125.82.44])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Jan 2017 08:16:11 +0100
Received: by mail-wm0-f44.google.com with SMTP id c206so101168192wme.0
        for <caml-list@inria.fr>; Tue, 10 Jan 2017 23:16:11 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20161025;
        h=mime-version:subject:from:in-reply-to:date:cc
         :content-transfer-encoding:message-id:references:to;
        bh=/5cVHKSr7JKU130H+E6NTQ5CpdLTq0gqENawdVcxF6g=;
        b=ABT2xCrKT9Wtwn786f7+zfS5Iq2yX01laJOTMXxiJhyLDs61jN0/FSn2ZwXeqctjNS
         nF/2m+4rksvmQdsmz/Lttl1AWj96zVTAXT2nFi3gDHfXLg+HVgoA1eHW3FyJXTbih2fH
         if1WW8I6itL6PJZ63rltVFrZ7HaN1VYDhxhWiltRgdQ55mVWacsXuzbnemeARqkAjhgC
         CV5DGPLvYINIUnDJMw8jnGbvpPKI9tIgf460F6G9AaWzC6RORIZjASDokl7z32lLyp9g
         4hEc3VCAUYzgbAtnAVGhv0fdeRVMcznfrkurfLIIxnFuVbHCYHgsPxIZQZuaXtxdDn7q
         Nspw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc
         :content-transfer-encoding:message-id:references:to;
        bh=/5cVHKSr7JKU130H+E6NTQ5CpdLTq0gqENawdVcxF6g=;
        b=bTMVPP908+fjxNMF8IiU9hHR5ntj9CB9ik0XWWaB/Ktaaqvwxydm9CYv9YwbwXQHvK
         OK8CbwQF9DvyaLev6FZQZ3Zdwjl3/rv8Oi1Gx9Db2dMUeLSsWGgUgqo45ro+CspXkE+P
         GPvXInqO0I9Yyv2z+4UYEOOiPgu6JZ3VudpIPIlq4k4LfWEybsOCeh+DRnLiT67A8F18
         U2EuOtjf4p/U21kX8mYgdHwyHA3l8LvqHDTRZacHXKeyTnNti+26QMzH0jPGh95IMosh
         n71TSJHYwHdLjjLpFZLaVJdGG8dDqt8C+4AcGMLNq0yrmjGftjzuEU68Anf2QODpnySO
         U65w==
X-Gm-Message-State: AIkVDXIW8BwazZcQGv/OZjOR2mJIUwTgLdbANzJYTXnWbhEiQnxvYJlAvUPSDlF9WMIZvA==
X-Received: by 10.28.199.73 with SMTP id x70mr3720113wmf.42.1484118971635;
        Tue, 10 Jan 2017 23:16:11 -0800 (PST)
Received: from oscar.localdomain (xdsl-89-0-188-126.netcologne.de. [89.0.188.126])
        by smtp.gmail.com with ESMTPSA id w7sm28121392wmd.24.2017.01.10.23.16.09
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Tue, 10 Jan 2017 23:16:09 -0800 (PST)
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0 (Mac OS X Mail 10.2 \(3259\))
From: =?utf-8?Q?Michael_Gr=C3=BCnewald?= <michipili@gmail.com>
In-Reply-To: <CAOCAUGM-ZOwpq8OBRvRMZh-fdRdLNLzLDTo1x7W7Y-cjU+Hp5A@mail.gmail.com>
Date: Wed, 11 Jan 2017 08:16:08 +0100
Cc: caml-list <caml-list@inria.fr>
Content-Transfer-Encoding: 7bit
Message-Id: <2E3A8548-FEB3-4AC0-8525-EEC0AB70DFFA@gmail.com>
References: <CAOCAUGM-ZOwpq8OBRvRMZh-fdRdLNLzLDTo1x7W7Y-cjU+Hp5A@mail.gmail.com>
To: Sylvain Le Gall <sylvain+ocaml@le-gall.net>
X-Mailer: Apple Mail (2.3259)
Subject: Re: [Caml-list] Deprecating the Forge in 2017 (forge.ocamlcore.org)

Thank you Sylvain for having taking care of it all the years!