From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTPS id DEBDE5D5
	for <caml-list@inbox.ocaml.org>; Fri, 11 Mar 2022 09:43:34 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
  d=inria.fr; s=dc;
  h=mime-version:references:in-reply-to:from:date:message-id:
   to:cc:subject:reply-to:sender:list-id:list-help:
   list-subscribe:list-unsubscribe:list-post:list-owner:
   list-archive;
  bh=Q4LiGujKmLglhyOGXf+AUBFmBJ6PMQjfQatgTE+8sew=;
  b=TW35iDu4QUTSBMudDBU9HgGicyQ1hQoQm9WSCz8QsAU98josUoP8OCZY
   yC8hn7z9D9354IKtqvrZQkYbjjYeAvjHRm0m9VlxVvFsn6MVcvIItP2RJ
   +xiHaAGURN5J+n8aOHGgU8RHP+vsWcojI/5fpkN/9VJON4hw4ChXGWFWq
   k=;
Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr:
  domain of caml-list-owner@inria.fr is inclined to not
  designate 128.93.162.160 as permitted sender)
  identity=mailfrom; client-ip=128.93.162.160;
  receiver=mail2-relais-roc.national.inria.fr;
  envelope-from="caml-list-owner@inria.fr";
  x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only;
  x-record-type="v=spf1"; x-record-text="v=spf1
  ip4:192.134.164.0/24 mx ~all"
Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@sympa.inria.fr) identity=helo;
  client-ip=128.93.162.160;
  receiver=mail2-relais-roc.national.inria.fr;
  envelope-from="caml-list-owner@inria.fr";
  x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only
Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=pass (signature verified) header.i=@gmail.com
X-IronPort-AV: E=Sophos;i="5.90,173,1643670000"; 
   d="scan'208,217";a="25612755"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 11 Mar 2022 10:43:34 +0100
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id DF15AE0045; Fri, 11 Mar 2022 10:43:33 +0100 (CET)
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 3BDD9E0045
	for <caml-list@sympa.inria.fr>; Fri, 11 Mar 2022 10:43:30 +0100 (CET)
IronPort-SDR: 6nPISmqtIlC8rKheLDwsA0kIx1j8ZaYqfl8Lnr2qEjv6ArgOWn78AZla/Scou6pRCr2y8AnMKJ
 hXqh5amGQmNKSZbhu9ycTA1aGL8/LqPSRvPWlorOLPCkVSQgQvdooV5NiUsQu4kp7otQoAFjSF
 pfnXfp2q8RbPDiCp3BVw8s/FcMLaJgglnmTdmWT7G0nMqWvzVXnhHxcsu2dveWhO3ImCoQMDe8
 txcAh3kYNDBmWtPQ80orXhaOTeJYNiPN6ejtjBTgjK+1ZF1NvuZ7rePUmRmWreGe3D2rmkxrUy
 6CweKy2wSU0vEEfOH18b19f6
X-IPAS-Result: =?us-ascii?q?A0BtCgDpGCtify3YVdFaHAEBATwBAQQEAQECAQEHAQGBQ?=
 =?us-ascii?q?gEBASyBOgIBAQFnGQEZS1YsBAsXLYRUgSGNUo5PhhKDYoZYgWgLAQMBDRIBA?=
 =?us-ascii?q?RYBCgwEAQGFAwICAoQkAh0HAQRHAQIEAQEBAQMCAwEBAQEBAQMBAQUBAQECA?=
 =?us-ascii?q?QECAwQBEwEBDQsJBwgKBw4OBWABYQMBRIFPgXQLAzENgjUFAgMfAQaDVAoCA?=
 =?us-ascii?q?QMSER0BDQ4SCwEDDAYFAwEHAzQCAiIBDgMBBQEcBggLHQQBgmOCZAEDLg+iV?=
 =?us-ascii?q?IEEPYsygRUFF4EBggkGhEkKGSgNZwOBWAIHEoEoAwEBAQGGDYEVDQEBhxInE?=
 =?us-ascii?q?IFVRIFLgkQwPoFTgjhngm2CZQSYO4FfwQY0B4NMgToGC4k/lGEzg2GBYKJ1l?=
 =?us-ascii?q?laNE5lWECMSgRkrgX0zGiNQMYI4CUUBAgEBAQ0BAgEBAwECAQIJAQECkg+BP?=
 =?us-ascii?q?oNWhUtDMTgCBgEKAQEDCZF6gW4BAQ?=
IronPort-PHdr: A9a23:dA6ukRCPdZSTGY1hUsZVUyQUXUsY04WdBeb1wqQuh78GSKm/5ZOqZ
 BWZua83ygaTB86DsbptsKn/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G
 9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys5ZHfeRhEiCSjbb99M
 Bm6sxjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3T
 bpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58
 axlVAHnhzsGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7WYNEUSndbXstJWCNBDIGzY
 YsBAeQCIOhWsZXyqkAUoheiHwShHv/jxiNKi3LwwKY00/4hEQbD3AE4HtwBqm/brM/0NKgMV
 eC+0bTGwinDb/xIwzfy9pLIeQ0mrPGDR71/atDRyUgxGAPBlFmQspDqPzOL2eQXrWeb9fFtV
 e2qi2E9qgFxpiKjydsrionMn48YzE3P+iplzogvP9K4VFJ7bsC+EJtWryyXNYt4T80+T29op
 Ss217MIt5G7cSUF1ZkqxgPTZ+GZf4WM/x7uWuicLDV2in57Zr6yhBS//Ea+x+D9Wce50lhHo
 yxYmdfCsXAN0gbc6smBSvZl/0eh3yyP1wHJ5e1eL0A0j7LXK5k9zbEqk5oTtV7PHijsmEX5i
 qKda0Yq+vCw5uj5frnrooWQOox0hw3kLKgih82yDf43PwUOWWWQ5P6y26f5/ULjRbVHlv02n
 bfdsJDdPckbo7S2Aw5R0oo68xa/DSqq3M0WnXQILF9JYh2Hj4/uO1HBJPD3E+2zjEirkDdu3
 /zGP7vhDYvRLnXbjrvtYbJw51RfxQcz19xT+Y9YB7AbLP/8WkL9rNnYAQU4MwywzebnEtJ91
 oYGVGKAGKCWK7nSsV6W6eIrOeWMf5MauDbjJPg/+fHul2Q0mVAYfaaz3JsXbGq0EehhI0Wce
 XbshMwOHn8QvgUiVOzqlEGCUTlLanqsR648/C00CJq6DYffQYCgmKeB3Ce6Hp1Qe29JFEqMH
 mnzeoSFWvcMbTmdItV7nTAeVLihTZUh1RC0uwPgxbpnNPLY+jcEupL7yNh1++rTmAku+jNuC
 sSd13iBT2V1nmMTWz87x7t/oEx4yleby6d0mf1YFdpJ5/NISAg2L5Dcz/YpQ+30QR/LK9eVV
 E69EJLhGiA0Vtt3wtkUYk87Fc/llQHGxyPtGL4akbuFCts/+6fYmnzwPNou9nDdyaN0ilAnR
 tdIZ2avg6o68wnIG6bIlV+YnuCkb/ch2jXQ/jKPzHGFoVpDFgl7WKDBG3cFaRjrq8/k7GPeS
 rv7Cag7KhATjomZO65SY5voi09HTbHtIpPFcmepkiCrBBmOwb2CK4HjfmFY2CTGFBs5lRsO9
 1aaMAxrAy6gp37ZXjdnEFaqZ0L37cF/rmm6Rwk61VK3aVZ83Ya46gJAheCAU+hBmfUfqSI5o
 nN1Gky81pTYEZ2btg95deJHYNw751lJkmnQsgg4Op27M/NfgEUDeTh6r1+72xRsAZhbio4tp
 3ovyEx1M63L7FQUSTqD3JTxIfX4LXT39QvnP6TZ3Uzb2c2+9aIG6fB+oFLm6lKHDE0nplpu2
 cNU3n/U3Z7KARAfS9qlXU897Rl3o/fBaSkw/Y7O/XJpOKiw9DTF3oR6V6Me1h+8coIHY+u/H
 wjoHphfXpD2QARLs12gbxZfeftX6LZxJMS+Mf2PxK+sOu9k2jOgl2VOpo5ngQqX7yQpbOnO0
 t4exu2AmBOdXmLzhV27s83z35tPZTwIE3CXxi3tBYoXbap3Ls4QEWn7G8Ss3Z1lgoL1HXtR9
 VqtHVQDjcCgcwCTYli7xgZQ2F4au1SonCK5y3p/lDR65rGH0nnoxOLvPAECJnYNRGRmigL0J
 pOoitkBQEWyRw0glR/g/USjgqYH+eJwKG7cRUoOdC/zR417eo23sLfKI8tG6Zdz9D5STPz5e
 leCDLj0vxod1SrnWWpY3jEyMT+w6N3/mFRhhWSRIWwWzjKRcNxsxRrZ+N3XROJAljsASi5ij
 DDLB1+6d9C39NSQnp3Hv6iwTWWkHpFUdCDqy8uHuk7ZrSVlCBelnv233MbsEQUg3DXT2NxjV
 CGOpxH5I8Hq26m8LeN7bxxwHlavjqgyUop6k4Y2mNQRwS1A3sTTrSdByz6td4kGisecJDIXS
 DUGwsDY+l3g0UxndTeSwp7hE26a2o1nbsW7ZWUf3mQ86dpLAeGa9u8h/2M9r1ymoAbWefU4k
 C0azK5k53cQmeAEvEw2xSWQGL0INUZdNC3o0R+P6prtyccfLHbqarW22EdkyJquBbuYowxYH
 m3yepo4EDVY4cB2MVaK23r2oNKBGpGYfZcYsRualA3Fhu5eJccql/YEsiFgPHr0oXwvz+NTY
 QVG5Zihp8DHLmxs+Pn8GRtELnjuYNtV/DjxjKFYl8LQ3oa1H5wnFC9ZFJfvSPupFnoVu5GFf
 06BGTcmq3qfX6HUHQKF5V1OoHfGEpTtPHaSbHUU1tRtQhCBKVcX2lhFGmVn2MRgSEb2mYToa
 yIbrngJ60T9qwdQx+4gLBT5XmrF5U+pZjoyVJmDPU9T5wBG6V3SNJ/W5eZyEidEu5y5+VbVe
 yrLOkISVD9PBhHXYjKrdqOj7tTB7eWCU++3Lv+VJK6LtfQbTPCQg5Smzoph+T+IcMSJJHhrS
 fMhiS8hFTh0HdrUnzIXRmkZjSXIOoSUrR2m+yBz6Nu08PnxVRjH6o6GCr8UOtJqsUPT4+/LJ
 6uLiSB1JCwNnJwFz2XJxbxZx1UShjtjbRGiFL0BsWjGS6eayco1R1YLLih0MsVP9ac12AJAb
 NXaht3C3bl9lvcpCl1BWA+pioSzaMcNOW34KELfCRPBKuGdPTOSiZKSA+v0WfhKge5TrRH1p
 TuLDxqpIGGYjzewHxG3bbMX0WfCbUQY4t3iNE4qUzSrTcq6OEPndoUs1ntvn+Vy3jSTZAt+e
 XB9ax8f8OPWtHsCxK05QysbtjJkNbXWxXjftbWJbMZO96MsWHw8lvoGsitgjeIJqngVHrot3
 3KCy7wm61C+zrvQlnw+CkcI8nATw9vV9UR6ZfeArskGACmbukJLtSLKUlwLv4c3U4K0/fkBl
 p6X0vq0cWknkZqc/NNAVZKMeYTXbTx4a0qvQHmNU0MEVWL5bziBwREN1qjDrDvN6cFr4pn0x
 MhUE+EdDgdkUKhATBwiRY1nQt8/SDoglfTzYNcgw324oVGRQcxbusuCTfeOGbD0Ly7fi7BYZ
 hwOyLe+LIIJN4S91VYwIl991J/HHUbdR7Uv6mVocxM0rUNR8XN/Unx72kTrbRmo6WMSEvj8l
 wA/iw93a+AgvDn25FJ/Kl3PrSo22E4//LetySiWayL0JbysUJt+DiP1sw0pMMq+TVooKwK1m
 kNgOXHPQLcQx7pseGZ3iRPN7JtCHfkPKM8MKBQUxPyRe7ApyQEG8nThlRIBv7KbT8c/x25IO
 da2onlN2hxudoswLK3Uf+9Sy0RIw7mJpmmu3/wwxwkXIwAM9nmTcWgGoh9tVPFuKiy28+hr8
 QHHlSFEfT1GWPMguPNn8gUmMOSN1S/6+7FGI0G1ceeYKunK3gqI3d7NWV422k4SwgNd+qNq1
 M44b0eOf0Umzb/UDxZQcMSedEdaaM1d8HWVdiGL+7aoo9o9L8C2EebmSvWLvaAfjxe/HQonK
 I8L69wIApim1EywxSLPI7sMyBFr7wPudg3t5BthdxeCkTNBqMa6nsYfNWh1IzgcBSBlM3zy6
 OqK4AAth/WHUZE9ZXJIBuM5
IronPort-Data: A9a23:Z+c556puDHKjnuVnMflUnnWUb8deBmLQYxIvgKrLsJaIsI4StFCzt
 garIBmHa63fa2OnL9t3aYq09RgGscfTy4VlTgpr/ngyRH4R+ePIVI+TRqvSF3PLf5ebFCqLz
 O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKicfHkZqTZMEE/Nszo68wICqtMu0IDR7z+l4
 4uo+ZWEYQb9glaYD0pNg069gEM31BjNkGhA1rAOTagjUIj2yhH5pLpGTU2AByOQrrt8RoZWd
 M6fpF2NxV41yj92Yj+TfhkXRWVRKlLaFVDmZnO7wMFOiDAazsA5+v5T2Pbx9S67hh3R9+2dx
 umhurSQSjoQGLXswtgiUiRSDiNuF6J8xPzIdC3XXcy7lyUqclPpyvRqSVk0ZMgWprsxDmZJ+
 vgVbjsKa3hvhcrsmOP9GrQq3J19apW2VG8ckikIITXxAv8sW5HOR+PR7t9Vxjoqrs9LFPfaI
 cEebFKDaTyQOUMTYwlMYH44tOiGmnrcTTEIkU6c/PsM53eNwhdt6Le4ZbI5ffTTHZkP9qqCn
 Urd/2X/DhwAOfSNyD+P6Hvqh+nVnCq9Vph6PLax8/ovhFyI2kQIGRgOXB26p+O4gwiwQbpix
 1c8/yMvqe0q9hXuQIWgGRK/p3GAs1gXXN84//AGBB+l6qnp2iCBJjI4cT98YsEkpOU5fwBp2
 Qrc9z/2PgBHvLqQQHOb076bqzKuJCQYRVPugwdUHWPpBPGz8OkOYgLzosVLS/Hq04Wkcd3k6
 3Xb83hk3uR7Ydsjjv3jpTj6bySQSo8lpzPZCy3SV2Ohqxt7PcurO9Hu5l/c4vJNao2eSzFtX
 UToeeDOsYji7rnXzERhpdnh+pn3vZ5p1xWC2zZS82EJrWjFxpJaVdk4DMtCDEloKN0YXjTif
 VXevwhcjLcKYif0PPQoO9rpV59ypUQFKTgDfqCEBjapSsghHDJrAAkzDaJt9zy3yRN0yPlX1
 WmzKJ/8Vydy5VtbIMqeHr9Bi9fHNwgxwmTcQZ2T8vhU+ev2WZJhcp9caAHmRrlhssus+VyJm
 /4CaZbi40gACIXWP3iPmaZOfAtiBSVqVfje9ZcMHsbdeVoOJY3UI6WOqV/XU9c1wfo9eyah1
 i3VZ3K0P3Kk3CyZc1rWMi4/AF4tNL4mxU8G0eUXFQ7A8xAejUyHtc/zrrM7Iusq8vJN1/lxQ
 6VXcsmMGKUdRTHO+jBbZp749dQweBOujAOIHiykfDlvJ846F1KVoofpLln16S0DLiurrs9h8
 bCt0wXsR5BcFQlvCcDhbu2ikgGqtn8HleMuBEbFe4EBeEjl/IVwBTb2i/s7f5MFJRnZl2mV0
 g+XBVETouyU+90599zAhKalqYa1ErsmThAKQTWDtbvvbHvU5Guux4NEQd2kRzGFWTOm4rima
 MVU0+r4b68KkVNMhIx2TORmwKc40N3w/uMIwwlhGkLLWFSlELZXJHeLgJtUvapXy74F4Aa7V
 x7d+tRePrnVasrpHERLf1ggZ+WHkOkWw3zcsalzL0L96yt6urGAVBwKbRWLjSVcKppzMZ8kk
 bh94p9Is1Tnh0p4KMuCgwBV63+Ici4KXZIhu8xIG4TskAcqlgxPbMCOECPw+53TOdxAPlNwe
 W2RjavGwqxenw/MLyd1Gn/K0u5Qw58JvUkSnlMFIl2InPvDh+M2jEINq2VpFlwNw0UVyf93N
 0hqK1ZxefeE8QBuiZURRGurAQxAWECU90GZJ4HlT4EFo5REl1AhLVHR/c6I9UEdtnpeJ31Vo
 Ozex2HiXjLnOsr220PenKKjR+PLFbRMGs/qwahL3Php27E1ZDPkhumlYm9gR97PH5YqnEOez
 QV11L8YVEA4XBL8Z4U0DoCb0fIbTxXsyKmuhx1+1PthIFwwsw1eFdRDx45dty+NyzH3HZeEN
 vFT
IronPort-HdrOrdr: A9a23:YLKGPq8q+f3Q5pvm0TVuk+DnI+orL9Y04lQ7vn2ZhyYlC/Bw9v
 re5MjzsCWftN9/YgBEpTntAtjjfZqYz+8X3WBzB9aftWvdyQ+VxehZhOOI/9SjIU3DH4VmpM
 BdmsZFebvN5JtB4foSIjPULz/t+ra6GWmT69vj8w==
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-AV: E=Sophos;i="5.90,173,1643670000"; 
   d="scan'208,217";a="8264163"
X-MGA-submission: =?us-ascii?q?MDFuaJEvjujvt3krloEW3Uwa0k+Em3uDHAG6OU?=
 =?us-ascii?q?6qkFmsNGhoB71PO+NeP6fUZRoyqPIzLmmYbKe7z1D39253V91gIBT1XB?=
 =?us-ascii?q?XiNbsJ/toPsZj7A/OfPGOsKqsc7z6f4P3fOxl5327kUX2QpIorI7Bg/B?=
 =?us-ascii?q?mGuBnqmTrb1N3JbVsndgcOFQ=3D=3D?=
Received: from mail-pj1-f45.google.com ([209.85.216.45])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 11 Mar 2022 10:43:29 +0100
Received: by mail-pj1-f45.google.com with SMTP id v4so7713724pjh.2;
        Fri, 11 Mar 2022 01:43:28 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20210112;
        h=mime-version:references:in-reply-to:from:date:message-id:subject:to
         :cc;
        bh=Q4LiGujKmLglhyOGXf+AUBFmBJ6PMQjfQatgTE+8sew=;
        b=WIzFQnZAPgz+85pgHNVBvmzjpAq00eS+ncs+tXzdK0cCGNFc2MPd9uPgRxtspZTfvR
         w3VohCawI7TU5dK2koUHx625uDV/4CUhnALhITzQP1QteKJeKDUlZp+JNDdPRrdEuy4l
         AnnffJ2bXrLNBEkBaltAfI2+IiHZC5SCb5ZSbgGvUoE1OTXfgFh3Y7NgUW8z6W8fllPf
         3GBUxkH4eT+pYFwTvUG/vZRMyX91Psz3hOUdoFQMVQxNa+M59DDuwLPv1iRXyK0aTV4n
         7AXeNGtWSij/+QCNxtD/pmk+7ovqnabBJWVRe4S0vPuk08bpSsfzJgvJTtYagPlXY8GO
         ddVw==
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=Q4LiGujKmLglhyOGXf+AUBFmBJ6PMQjfQatgTE+8sew=;
        b=LR2A9yh9m/uZzV00JS0UpvQobbKzr4oxmJfuY2kMfCVHbhOcb+YgtvPkGwKejlwqwf
         rf0QBzM29HFdfY7r7MBLqHjcrZIij8I1OI7+gbSksxzrAcSpMxfVEGl81EtBEc+7ACCT
         5LBqhcLYrVY85LlRhVaGxLP/hd8vK1YFd0hs9aN+2nUZoS/OnaXTrRBlUFbgzWS9mMlM
         OkpTxLhhxi46Kl9SZ2gg6gvqKoFOogRWIVjZtFlM3Xfqbw5Xh1CX7XF+zFcdw/M+OYA4
         2lyZjtc+ObpCXFonbb2Xshpmc68WxPfxXAMjwSNFWq4PZlaNCUU9Ppfb22rz7SwmuX0W
         1RkQ==
X-Gm-Message-State: AOAM531rerWMY1QMqvhYzbClC34a+iar9Icij5y6XwwxFqB8JTqDsqim
	37INmTkqoGNdBMTGeuYhENTxZlFkXoztR1vayqw=
X-Google-Smtp-Source: ABdhPJwUCeBF8125UEof6CrLPbxOJbvKixAWUpEKOqkjHXUCh5gKU+NzZ0UrmSHuAfvqtJ4DnUeVke8qFYBZs+uwwco=
X-Received: by 2002:a17:90b:517:b0:1be:dde4:f848 with SMTP id
 r23-20020a17090b051700b001bedde4f848mr20885356pjz.233.1646991806900; Fri, 11
 Mar 2022 01:43:26 -0800 (PST)
MIME-Version: 1.0
References: <YeU09SJ52gUYJLyx@prajna.paris.inria.fr> <714c3a8d-25c8-c91e-ae01-46bf00920ffd@baturin.org>
 <20220117143005.qso775afaro24bi4@posteo.de> <467aab49-e503-57e0-0799-a40a9c0b878d@baturin.org>
 <20220117173608.qpufro64pbpfny5z@posteo.de> <CAPFanBG5eR-uFpQwd-73yRkmCxUdiYgzO4JS+ggBRM__rDey4Q@mail.gmail.com>
 <696b25b0-7567-0b1b-4203-9f53634ca998@orbitalfox.eu> <Yebi4VyeVD5ts7FK@church>
 <Yeg861TWxfFy5ICj@prajna.paris.inria.fr> <03d64a08de39bf9d3eedb6515d567fb54d34a092.camel@etorok.net>
 <YisMTlJhdIjtOsm2@prajna.paris.inria.fr> <CAF0KdiNW0LW2Z7oYzYGd46jjfP=WkqJ+VwSbV_h0m2mtvyfG5w@mail.gmail.com>
In-Reply-To: <CAF0KdiNW0LW2Z7oYzYGd46jjfP=WkqJ+VwSbV_h0m2mtvyfG5w@mail.gmail.com>
From: Gabriel Scherer <gabriel.scherer@gmail.com>
Date: Fri, 11 Mar 2022 10:42:53 +0100
Message-ID: <CAPFanBHbtL+epWLG72=WPeRQHJXbuAoYEwjawHOTm-nO+CxLUw@mail.gmail.com>
To: Vasilis Goumas <bgoumas@gmail.com>
Cc: =?UTF-8?Q?S=C3=A9bastien_Hinderer?= <Sebastien.Hinderer@inria.fr>, 
	=?UTF-8?B?RWR3aW4gVMO2csO2aw==?= <edwin+ml@etorok.net>, caml-list@inria.fr
Content-Type: multipart/alternative; boundary="000000000000992f4305d9ee2916"
Subject: Re: [Caml-list] Ask questions on the mailing lists too
Reply-To: Gabriel Scherer <gabriel.scherer@gmail.com>
X-Loop: caml-list@inria.fr
X-Sequence: 18721
Errors-To: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>
List-Post: <mailto:caml-list@inria.fr>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
Archived-At: <http://sympa.inria.fr/sympa/arcsearch_id/caml-list/2022-03/CAPFanBHbtL%2BepWLG72%3DWPeRQHJXbuAoYEwjawHOTm-nO%2BCxLUw%40mail.gmail.com>

--000000000000992f4305d9ee2916
Content-Type: text/plain; charset="UTF-8"

Dear Vasilis,

The list administration page is at
  https://sympa.inria.fr/sympa/info/caml-list
with an "unsubscribe" page:
  https://sympa.inria.fr/sympa/signoff/caml-list

(I'm assuming that you want to unsubscribe from the  caml-list@inria.fr
mailing-list, not from discuss.ocaml.org )

--000000000000992f4305d9ee2916
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><div>Dear Vasilis,</div><div><br></div><d=
iv>The list administration page is at</div><div>=C2=A0 <a href=3D"https://s=
ympa.inria.fr/sympa/info/caml-list" target=3D"_blank">https://sympa.inria.f=
r/sympa/info/caml-list</a></div><div>with an &quot;unsubscribe&quot; page:<=
/div><div>=C2=A0 <a href=3D"https://sympa.inria.fr/sympa/signoff/caml-list"=
 target=3D"_blank">https://sympa.inria.fr/sympa/signoff/caml-list</a></div>=
</div><div dir=3D"ltr"><br></div><div>(I&#39;m assuming that you want to un=
subscribe from the=C2=A0 <a href=3D"mailto:caml-list@inria.fr">caml-list@in=
ria.fr</a> mailing-list, not from <a href=3D"http://discuss.ocaml.org">disc=
uss.ocaml.org</a> )<br></div><div><br></div><div><br></div></div>

--000000000000992f4305d9ee2916--