From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 2A24D5D5 for ; Tue, 27 Aug 2019 21:06:27 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,438,1559512800"; d="scan'208";a="399094523" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Aug 2019 23:06:25 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 08DCD7EF0B; Tue, 27 Aug 2019 23:06:26 +0200 (CEST) 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 259537EC74 for ; Tue, 27 Aug 2019 23:06:17 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=oliver@first.in-berlin.de; spf=None smtp.mailfrom=oliver@first.in-berlin.de; spf=None smtp.helo=postmaster@einhorn-mail.in-berlin.de IronPort-PHdr: =?us-ascii?q?9a23=3ADPzX3RORfUdbBOAXPSsl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Iv3+rarrMEGX3/hxlliBBdydt6sezbOL4+u5ATFIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfK1+IA+roQjRtcQajpZuJroxxxDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKiU0+3/LhMNukK1boQqhpx1hzI7SfIGVL+d1cqfEcd8HWWZNQsNdWipcCY2+?= =?us-ascii?q?coQPFfIMM+hYoYfjulUArhW+CgawC+zyyDBHiGT73bEm3+k7DQ3KwBYtEtAIvX?= =?us-ascii?q?/JrNv1LqASUeWtwafRyTXDbu1W1inn6IPVbx0uu/eMUq9ufsrV1EIiEATFjlGR?= =?us-ascii?q?qYz7ITyVzP8As2aa7+p6TuKvl3QrqwB3ojS23cgjlJPJhoYUylDC7yl23Zg6KM?= =?us-ascii?q?S+RUVmYtCkCINduz+HO4Z0WM8uXmVltSQgxrAFpZK3ZjYGxIghyhXCcfKIaZKI?= =?us-ascii?q?7QjmVOuJITd3mnZleLWnihms8EigzO38Vs6u0FZMtyZFl8PDtnEJ1xDJ68iHTO?= =?us-ascii?q?Jx8Vy/1jaV0wDT6+dELVopmqXFM5Ihw7gwmYQPsUnbACP6hUf7gLWLekgg+OWk?= =?us-ascii?q?8efqbqn8qpOCK4N4kgT+Pb4vmsy7D+Q4KA8OX22D9OS70L3j/FP5T6tQjvAtnK?= =?us-ascii?q?nZsYraJd8HpqKjAg9V1J8v5A2hADe81NQYnH8HIEhYdx2Zl4TpIU3BIOjkDfej?= =?us-ascii?q?hFShiCtkyOrDPr3lG5nNKnnDkKz9fbtm8E5dyA8zzchF6J5OC7EBJujzWk7ru9?= =?us-ascii?q?DCAB85KV/8/+GyIdF00MslUmKKA7OFePfbtVaOoPkkI+yNeJM9oDH5OuQo7P7o?= =?us-ascii?q?jGYklBkaZ6b/jrUNb3XtOfBnPUiDKVDlhNsMFS9euQ4/UuHwoFODSyVPIXe0Gq?= =?us-ascii?q?gx/DU6DsSqANGQFciWnLWd0XLjTdVtbWdcBwXJSC+wLtjWa7I3cCuXZ/RZvHkE?= =?us-ascii?q?WLymEdBz2BCotAjgzf9iJ+vQvCwe8Jjuztx04avfmENqrG0mP4Gmy2iIClpMsC?= =?us-ascii?q?YNTj4y0rp4pBYlmFmCy7Nkxf1eUNZe/fdIVEE2OMyElrAoO5XJQgvEO+yxZhO+?= =?us-ascii?q?WNz8WWM/T8gq35kPZQN3Fs+mjxaF0yf4W7I=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DnCAD9mmVdexRQxdllHQEBBQEHBQGBZ?= =?us-ascii?q?wKDVQEyhEuIfIYNkV6LQwkBAwEKAQEvAQGENQEJAoJGGwYGNBMCCgEBBAEBAQI?= =?us-ascii?q?BAwMEARMBAQsLCgcphUFCARABgWYpAYJnBiNWEAsaAgUhAgIPSAYthRerRIEyh?= =?us-ascii?q?UmDKYFJgQwoAYR9gh6EWRiBf4N1Lj6HT4JYBKtvCYE6ZmSTWAwbdYEtAYsviwQ?= =?us-ascii?q?hpXQCBAIEBQIVgWeBeTMaCBwUO4JtkQg9A4pZhScBAQ?= X-IPAS-Result: =?us-ascii?q?A0DnCAD9mmVdexRQxdllHQEBBQEHBQGBZwKDVQEyhEuIfIY?= =?us-ascii?q?NkV6LQwkBAwEKAQEvAQGENQEJAoJGGwYGNBMCCgEBBAEBAQIBAwMEARMBAQsLC?= =?us-ascii?q?gcphUFCARABgWYpAYJnBiNWEAsaAgUhAgIPSAYthRerRIEyhUmDKYFJgQwoAYR?= =?us-ascii?q?9gh6EWRiBf4N1Lj6HT4JYBKtvCYE6ZmSTWAwbdYEtAYsviwQhpXQCBAIEBQIVg?= =?us-ascii?q?WeBeTMaCBwUO4JtkQg9A4pZhScBAQ?= X-IronPort-AV: E=Sophos;i="5.64,438,1559512800"; d="scan'208";a="317360785" X-MGA-submission: =?us-ascii?q?MDGIVySxYpvweg+E5V3mSr+XhgPzbezdFq+dlu?= =?us-ascii?q?JviHDp6kMCHQhDjPGeDvHBGsIUvHa9i3qJLWj1/hX76htcrlGxlo66WL?= =?us-ascii?q?ZYvHI1onJ11HjwKi5VLuYdRbgJX2HRiPjLyFAN4Ha5EloRzTZfQmqg8G?= =?us-ascii?q?h51fcn2S+XV2VfSr26i3KKTQ=3D=3D?= Received: from einhorn-mail.in-berlin.de ([217.197.80.20]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 27 Aug 2019 23:06:13 +0200 X-Envelope-From: oliver@first.in-berlin.de Received: from authenticated.user (localhost [127.0.0.1]) by einhorn.in-berlin.de with ESMTPSA id x7RL6BZa021388 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Tue, 27 Aug 2019 23:06:11 +0200 Date: Tue, 27 Aug 2019 23:06:10 +0200 From: Oliver Bandel To: Alan Schmitt Cc: OCaml Mailing List Message-ID: <20190827210610.crly3hhlrhjepst2@first.in-berlin.de> References: <87tva380ts.fsf@polytechnique.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <87tva380ts.fsf@polytechnique.org> User-Agent: NeoMutt/20180716 Subject: Re: [Caml-list] Sending the OCaml Weekly News on this list Reply-To: Oliver Bandel X-Loop: caml-list@inria.fr X-Sequence: 17784 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Hello Alan, I would apperciate to have these condensed News here on the list. Ciao, Oliver