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 ESMTPS id D26F35D6 for ; Wed, 6 Oct 2021 01:50:36 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208,217";a="532263988" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Oct 2021 03:50:34 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id F38B9E010F; Wed, 6 Oct 2021 03:50:33 +0200 (CEST) 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 56F3CE00C9 for ; Wed, 6 Oct 2021 03:50:29 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=alexandren@selodigital.net; spf=SoftFail smtp.mailfrom=alexandren@selodigital.net; spf=None smtp.helo=postmaster@mail-ot1-f48.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3A1ett8hbdtrjLx2oGpEcrIuD/LTEf14qcDmcuAno?= =?us-ascii?q?PtbtCf+yZ8oj4OwSHvLMx1gePDNyQtq0MotGVmpioYXYH75eFvSJKW713fDhBt?= =?us-ascii?q?/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp?= =?us-ascii?q?1Ifn+FpLPg8it2O2+5YHfbx9MiTagbr9/LBe7phjNu8cLhodvNrw/wQbTrHtSf?= =?us-ascii?q?ORWy2JoJVaNkBv5+8y94p1t/TlOtvw478JPXrn0cKo+TbxDETQpKHs169HxtRn?= =?us-ascii?q?CVgSA+H0RWXgLnxVSAgjF6Bb6Xortsib/q+Fw1jWWMdHwQLspXzmp8qVlRwLyi?= =?us-ascii?q?CofODE5/mPYhMx+gqxYvRyvuQBwzpXOb42JLvdzZL/Rcc8YSGdHQ81fVzZBAoS?= =?us-ascii?q?5b4YXAeYMIeJYoJfyplQUqxuxGBOsC/3ywTFQnHP607Ax3uM7HgHCwgMhEMgBs?= =?us-ascii?q?HLJo9XvKqgSV/u4zLLWwjXHaPNZxDb96IfJchA9u/6MWah8cczPxkkzDg7IiEi?= =?us-ascii?q?bpoP5MT2PzOsNr3Sb4PR6VeKpk2MqpR19riWty8sxi4TEmoAYx1LA+Ch9zos4J?= =?us-ascii?q?dm1RU51bNCqDJZdqyGXOopoT80iQmxmuDg3x7wFtJC1fCUHyJopyhjCYPKJdIi?= =?us-ascii?q?I5wjsVOeXITpgi3Jlea6/hxav8Ue70OHzSs600FNSoiVYldnDqnMN2ALJ6sSdV?= =?us-ascii?q?vR9+UKh1S6I1w/P8O5EJEQ0mbDcK547zb48jp8Tvl7ZHi/qmUX2iraaeVgj+ui?= =?us-ascii?q?y9evnZq/qppiGN497jAz1L6cgmtSnDOgmLgQDW3KX9Oe82bH540H1XalGguc5n?= =?us-ascii?q?6Tatp3RON4VqbSjAwBP14Yu8xa/ACmi0NQfhXQHKUhKeBODj4TwPFHOPO30Ae6?= =?us-ascii?q?xg1mjkzpn3f/GPrrmApXCKnjMjq3tcqp6605Z0AYzzNZf6IxICrwZPv7/Rkv8u?= =?us-ascii?q?MbbAxI5KQC43fvrBMln2o4RWm+DGqqZP7nTsV+M6OIvOe6MZIoNtTnnL/gq+fH?= =?us-ascii?q?vgmU/mVAAZ6mmw50XZWujHvt4J0WZZmfjgtYOEWcLogoxVujqhEeEUTFNe3a+R?= =?us-ascii?q?7g86S0jCIK6EYfDQZigj6Cb0ye+Gp1af2RGClGXEXf0bIiEQPcNaCeKIsB7iDA?= =?us-ascii?q?EVL6hS5Ug1R60rgP6xaBnfaLp/DYFv8fm3dlx++qBmFc3+TtuAsC13GSETmUyl?= =?us-ascii?q?WQNFAIwx711gVB4zgKG2Kl8n/sKGJpW6/RTXwMSOpvVzug8ANf3CT7GK9qTSVX?= =?us-ascii?q?gR9y8HTA3C9422dIKS0t7AJCmnxfFmS2wDOw7jbuOUdYd9q/M1n79Pcs17TCMn?= =?us-ascii?q?P0oi1Q2S81DL2CgrrVy8w/fBoHIj0yd0aCnafJPj2b26G6fwD/W7wljWwlqXPC?= =?us-ascii?q?dNZj+Tk7frNC84V+bCrHyWfIoNQxOzcPEIaxPOIWBZbBuX/rnP9jfbGOtkmP2A?= =?us-ascii?q?xuUlOvkhGXCYGgZ2yncB0kYmgRV+3uaZ1NWOw=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AoABs1KN4SMKjtMBcTqajsMiBIKoaSvp037BN?= =?us-ascii?q?7SFMoH1uHPBw+Pre/8jzuSWE6gr5O0tOpTn/Asm9qBrnnPYfi7X5Vo3PYOCJgg?= =?us-ascii?q?aVEL0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DwAQCYahphfzDSVdFaHgE8DAILgW6CV?= =?us-ascii?q?0tWOzGER4EejiuCJ4pbil2GMBSBEQNUCwEDAQ0qAQwKBAEBhGECgmsCHQwFLAg?= =?us-ascii?q?OAQIEFQEBBQEBAQIBAwMEARMBAQ0LEAg4JoVoDYI1BQIDGA6DXgEBAQIBEhEdA?= =?us-ascii?q?QEMKwEECwsEBzcCAiEBDwMBBQEcEgcdBAGCUIJVAw4hD5p5gQQ9ijh6gTGBAYI?= =?us-ascii?q?HAQEGgT4BAwODcQ2CPwkSgSiGfg0BAYZmJxyBSUSBS4JvPoIgQgKBJmcggkqCZ?= =?us-ascii?q?IVRAS+BBZJtqypSDAcDC4IdgQCKPYgShh6FZSuFLaFIkFuRdIM2kAWFPBAjgSo?= =?us-ascii?q?VAYIRe0UxBoIyCUcZDpIShRSFZCovAjYCBgEKAQEDCYgIgW0BAQ?= X-IPAS-Result: =?us-ascii?q?A0DwAQCYahphfzDSVdFaHgE8DAILgW6CV0tWOzGER4Eejiu?= =?us-ascii?q?CJ4pbil2GMBSBEQNUCwEDAQ0qAQwKBAEBhGECgmsCHQwFLAgOAQIEFQEBBQEBA?= =?us-ascii?q?QIBAwMEARMBAQ0LEAg4JoVoDYI1BQIDGA6DXgEBAQIBEhEdAQEMKwEECwsEBzc?= =?us-ascii?q?CAiEBDwMBBQEcEgcdBAGCUIJVAw4hD5p5gQQ9ijh6gTGBAYIHAQEGgT4BAwODc?= =?us-ascii?q?Q2CPwkSgSiGfg0BAYZmJxyBSUSBS4JvPoIgQgKBJmcggkqCZIVRAS+BBZJtqyp?= =?us-ascii?q?SDAcDC4IdgQCKPYgShh6FZSuFLaFIkFuRdIM2kAWFPBAjgSoVAYIRe0UxBoIyC?= =?us-ascii?q?UcZDpIShRSFZCovAjYCBgEKAQEDCYgIgW0BAQ?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208,217";a="532263962" X-MGA-submission: =?us-ascii?q?MDHXqzZHE6l7qo3ha5o3jRiwexhHmxdOTVfRPn?= =?us-ascii?q?2xwITYb9Hw02aloWVJS4OyLVB5ojuCjk+zS1dhvF5yRJdjgynCoAyniy?= =?us-ascii?q?AJhmruUnzyb2ptiOPQnss+sD+oxkr95HBQvEnlUO8AQTtj8mctwLGMsM?= =?us-ascii?q?W7Wb2eU9CzukTjwX/4+umWmw=3D=3D?= Received: from mail-ot1-f48.google.com ([209.85.210.48]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 06 Oct 2021 03:50:27 +0200 Received: by mail-ot1-f48.google.com with SMTP id u20-20020a9d7214000000b0054e170300adso1165401otj.13 for ; Tue, 05 Oct 2021 18:50:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=selodigital-net.20210112.gappssmtp.com; s=20210112; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=sIM8kktAtrbDxS6zYmIKzNdI4gmAj1aHSbL3eAgvHvA=; b=BshhemzQq/w7Oa/9E2G081mRfhwuK0HcgPFyWO9kpISjtYKn6qIDfvdPv62517U+If yhgnaniCjjlyxpADihWDkrngXYajurnclBtsIzqe5bboygFlSorSwZvXqQGVOD2NYeCn UqlhpuOSQnl7iKZVIwzS4rMK6Y2yqO5+ZsAYR4s+q6LZI9eVqRDbD8QxxL7YFKQTRc5Z IXC3VbvqGfPrPy/7jzEVE/U2aDtNReLm/pAFFuOZlZswhhumh/4il+9733+pf10MJTBT o6AH6tBNLCqmVgyAoFU2LillTiXGHN0pLOO26ZnxfSeeLojg7UfHrhiEjyHgn3+pXDjj uBSw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=sIM8kktAtrbDxS6zYmIKzNdI4gmAj1aHSbL3eAgvHvA=; b=xx9/CVsIiFpbG8QxHOugukaZKt7Vb+4LP1yI9Ju4lHFNJmFJ5E/yxTlR9RTGKTk7rY tRgPwoXG8gKLcNR+GttmSzdNgH0QzZwgSCx9+XI2uWEocCPlV0XXJnm1VJvnPxEwJB2K b+1eTjulVOI7nhsbmtC0RrTm+1WOEEUEhjanr1k4+MuSMAUh3LuSltv/XuzXR4XJCL7W f2M5+PUQ5dQsZDv+GBlkfVX/Qj1JcPwtHaLY6qjMJyHQlXqcqLEaHhy/ovBY7k+yXbVb NHMZEvZpEnPpMPBq/MI7c/d1S7PBdAuLwmSsh0x1dNB5KiurxdSOPZlNGM0EZ9TH+Xk5 BqmQ== X-Gm-Message-State: AOAM5323B8h+eWXZQvndUA3w+sJYmt5GWvRXUv6iT3ZxVbTdKUT2nWb1 R+6MqIfGVCogiAv7wVC24TXVOIwecFcoPIZHlXPPyh/GdJnRxQ== X-Google-Smtp-Source: ABdhPJxiJD6PYRLsgbxqPUXMwuVFYysB4qcKvcAmKuA/tcWw0IMPRR7uTKl+ZWii4xhCD9ueQghrw9qIF8D/Br656Vg= X-Received: by 2002:a05:6830:1dcc:: with SMTP id a12mr17668265otj.108.1633485025522; Tue, 05 Oct 2021 18:50:25 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: "Alexandre N." Date: Tue, 5 Oct 2021 22:50:11 -0300 Message-ID: To: erik.martin-dorel@ens-lyon.org Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000b1464a05cda55ec6" Subject: Re: [Caml-list] [ANN] Release of Learn-OCaml (ocaml-sf/learn-ocaml:0.13.0) Reply-To: "Alexandre N." X-Loop: caml-list@inria.fr X-Sequence: 18582 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --000000000000b1464a05cda55ec6 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi! I can't see the button "unsubscribe" at the footer... How can I be banished from this list? Em ter., 5 de out. de 2021 22:06, Erik Martin-Dorel escreveu: > Dear list, > > FYI the version 0.13.0 of Learn-OCaml has just been released: > > - on GitHub, with the corresponding release assets: > https://github.com/ocaml-sf/learn-ocaml/releases/tag/v0.13.0 > - on Docker Hub: > https://hub.docker.com/r/ocamlsf/learn-ocaml > - and more details are available from my Discourse post: > > https://discuss.ocaml.org/t/ann-release-of-ocaml-sf-learn-ocaml-0-13-0/85= 77 > ) > > Kind regards, > Erik > > -- > =C3=89rik Martin-Dorel > http://erik.martin-dorel.org/ > --000000000000b1464a05cda55ec6 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi!

I can= 9;t see the button "unsubscribe" at the footer... How can I be ba= nished from this list?

<= br>

Em ter., 5 de out. de 2021 22:06, Erik Martin-Dorel <e.mdorel@gmail.com> escreveu:
<= blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px= #ccc solid;padding-left:1ex">
Dear list,
FYI the version 0.13.0 of Learn-OCaml has just been released:<= /div>

- on GitHub, with the corresponding release assets= :
--000000000000b1464a05cda55ec6--