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 C81E85D5
	for <caml-list@inbox.ocaml.org>; Thu,  9 Jun 2022 04:32:52 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
  d=inria.fr; s=dc;
  h=mime-version:from:date:message-id:to:subject:reply-to:
   sender:list-id:list-help:list-subscribe:list-unsubscribe:
   list-post:list-owner:list-archive;
  bh=WRBK4YhpL/pVLBWM6V7labO+ugUnurOBPa+NdhoIKIw=;
  b=GfQzLAZEvJQm6cjyI+yGP5Z3sjLFIeECMD4OXU7b7yUu3tkXqGT0lqnS
   e22u/691wl1bFIMoumRDwdtMxbSnl4erBUZ3ogRk8xVQp9YkftKsCIq3K
   /wrEH2TP9Ox5paMT5G8RmfMSwJcGSDQIjJsrBga8h2OpQER1ckKWOl01V
   o=;
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=hardfail (signature did not verify [final]) header.i=@gmail.com
X-IronPort-AV: E=Sophos;i="5.91,287,1647298800"; 
   d="scan'208,217";a="40121551"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 09 Jun 2022 06:32:51 +0200
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id A1860E02AD; Thu,  9 Jun 2022 06:32:51 +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 5D195E010B
	for <caml-list@sympa.inria.fr>; Thu,  9 Jun 2022 06:32:47 +0200 (CEST)
IronPort-SDR: SajHnaHaQZMC6+nc/fECfVsD0LCAMSmdAzvz7i3QpjmIS2by9Mqq3ba99mlTEFnwyX8VGgkMEc
 3s/H2x5z4d95r/mT4ISNpJWoccWJS4N8n0gvwEgSlc8gtYR/QYtykjp2bAgpaCdpWXsiXu+mJ0
 XxWt8iOl5YQikXPDYNjeb3WcvEmXId6a0cBSbNpQU5EY4n/QIxiMLbaD33aplDtJus7ChfvxLq
 MUAvqr9V8XkL6hPkqTv6w0DhGhupJazg2BNgzif3eU8+EVLdgnKA8qqcCh9/mTreQu3cBi3t/K
 nvyXpV5fLX+9BeMh/eieZG3G
X-IPAS-Result: =?us-ascii?q?A0BlIgCPd6FifzamVdFahHyBVi8EC0SEToEjjhkHAQEBB?=
 =?us-ascii?q?oE/W4owIgOBBk6FQgUHg1xBNYcyEwsBAwENQgQBAT8SiXkCHQcBBEcBAgQBA?=
 =?us-ascii?q?QEBAwIDAQEBAQEBAwEBBQEBAQIBAQIEBAETAQENCwkHCAoHDg4FYAFhAwFDA?=
 =?us-ascii?q?YFOAYFPKgYDATAIBYI1IoQEBwodAQ0OHgMSCAECBTcCJAEOAwEFARY8BAGEb?=
 =?us-ascii?q?VMBAzADnQmCH4EEQYsygQwJBReBAYIJBoRLChkoDWcDgVkCBxKIawEBggqFR?=
 =?us-ascii?q?Bx9gRCBS4hDgwmCZQSDHYcjR4JHBAKBJmCBVQgCCR11hQsEBwMEBgEGDgMDA?=
 =?us-ascii?q?g8UAQIBRiMCAgEBCwIGBgQGAwEBBgMJAgQCEgICBAcYChIIFAMCBgIgBQEHB?=
 =?us-ascii?q?QEEAxIGDBEBCAYGAQQCCgECAgUFDAMBEQEEAgYCBAQEGBQEAgQHBgIJCQcFF?=
 =?us-ascii?q?gsECgIWARwCBgwIAgICAgIEFQcBDQUCAgQPAgcGAwsCAwUHAwMEBwwGDA4BA?=
 =?us-ascii?q?wEHAQQFAw0EAQEGAgsDBQoCAQIDDAEBBwQIAQECAgoCAQQCBwECBQMCAwgDA?=
 =?us-ascii?q?gMDAgIBAQQRAgcDBAIDAQUBAQUDAgUBAwMCAQMDAwIBBAMGCQoECAEEBAEBA?=
 =?us-ascii?q?RECBwcCBgMDAgICAgUBAg0BAgECBAMIBgIDFAECBAEKAQUCAwkCBwMBAQIHB?=
 =?us-ascii?q?QoCBwUCBwICBAEFAw0BAwUCAwEBAwMCBAECAQMDCQEDAgMDAgICAgUCAwICA?=
 =?us-ascii?q?gkDBgEHAwIBAQQFAQQDAQIKBAQDBAIEAgcCBwIEBwIBBAYDBwYBAwIBBwEBB?=
 =?us-ascii?q?AoEAwMDAQEHAQIFAgIDAgYSBgcCBAEDBAQKAgIMAgcBAQIBAQEBAgMCBwUOA?=
 =?us-ascii?q?QEBAwIDBgIFAgIBAQMICAMCAQQBBQMBBAUDBwIBBQkCCQMDCQMBAQUBAwEJA?=
 =?us-ascii?q?wMDAgkDAQICAgsEAwgDAwIDBAICAgIBAwIHBQgEAQQKAgICAQICBgIBAxoBA?=
 =?us-ascii?q?gMFAgIJDAEEAgIDAQMBAQIIBAkEAgMEAgEBAwIBAgIBBQIDDQYBAQEBAgMDA?=
 =?us-ascii?q?QIDAQEGBwIIAjMTAQMDAgECAgIFAgIBAgMCAg0BAQEEAgECAQIGAQMBAgIDA?=
 =?us-ascii?q?QMBAgIGAgwDCAIHAQUDAwICAwEBBQ8FAgEEAgECBgUCAQEBBAEDBAQIAgIBA?=
 =?us-ascii?q?wMCDgIEAQQBAgEBIwMEAgMBAxcBAgECAwMDBAYHBgIBAhMBAgEBAQUBAgEBB?=
 =?us-ascii?q?AIEBAcKAwICAgYDAwUBAQIDAgEBAQcMAgICEwIECgkDAQYBCgYGFQMCBAICA?=
 =?us-ascii?q?QICAgoDAQICAQMCCQIBAgEFJAMBAQ8kAQECAgECAgMEBwIBBAYDDQICAQEBB?=
 =?us-ascii?q?QYNAwIDCAwCCQMCAgMFAwICBAECBAwKAQICAQICBAUFAwIBCAQFDQUJCwECA?=
 =?us-ascii?q?gEDCAEEAxECBgMFBQMDAgEKBQIDAQIBAQMBBAEDBAYBAQIDAgIBCAICAQEDA?=
 =?us-ascii?q?wQDAQIGAgIIAgMCAQQCAwMBAQEEAgICAgIEAwgDAgEIBwUBBgECAQQDAgIBA?=
 =?us-ascii?q?gcBBAEJAgEDAwUDBAEKAw8DBQMBAwMCDAIKCgQEAQUIBAQJAgQFAgUHBicHZ?=
 =?us-ascii?q?L97njlggniEGJt6MYNjAaR3EYVhNJBDpyMQIxKDQU0jgQGBawEBSk4BAgEBA?=
 =?us-ascii?q?Q0BAgEBAwECAQIBCAEBAgGSDoprNzFTCY8EAQE?=
IronPort-PHdr: A9a23:M1jb7xIB5DPHxTXCodmcuBxsWUAX0o4c3iYr45Yqw4hDbr6kt8y7e
 hCFvrM01A+CDd+TwskHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA
 JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7ye6/94fObwlUhzexbrB/I
 AurpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+V
 rxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4
 aV2Rx/ykCoIOD43/m/UhMJtkqxUvAmsqAZjz4POeoyZKOZyc6HbcNgHRWRBRMFRVylZD4yhd
 YQPCesBMvhcr4LgqVUOrB2+BQaxD+7o1zBHnHn23aw+0+s/DA7GwAwhEskBsHTRttr1NaMSX
 fqpw6nPyDXOdvVb0iry54bUaB4uu+2MXa5ufsrLz0kiDw3Lg0uMpYH5IT+Y1OQDvnaH4uZ9W
 +yihW4ppx9zrzWt2sshjofHiIwIxl3E9Ch03II4KcC5RUB1b9CoDZVduiOcOoBrQc0iW3llt
 DgmxrACo5K2fygHxI46yxPeavGLaYiF7x3lWe2MOzl3nmhld6i6hxuq8Uiv1On8Vs6s3VZPt
 CVFk93MumkM1xzU98SLU/V980eu1DqV2ADT7eZEIU8wlaXFMZIu3rkwlp8LvUTCGC/5hln2g
 beIekk4/uWk8efqb7X8qpOBNoJ5ixvyP6Qhl8CnBOQ3KAkOX2yV+eSm073j+FX0T6hQgf0wk
 6nZtI7VKtkHpq+5GAJV3YMj5Ay+DzeiytgXgX4HLFdddBKBlIfmI0vOL+zgDfejn1Ssly9my
 +3eMr37HprNNmTDkKvmfbtl90FT0g8zzdRG65JQC7EBO+7zV1TqtN3YCx85Kxa7z/zmCNV7z
 IMeWHiADrWXMKPI4he04bckKuyIIYsUoyrVKv4/5veog2Vqt0UaePyl1J0WZXTwMvVgLA3Nb
 XPqg9MMHXsblgU7Re3uzlaFVGgAND6JQ6sg62RjW8qdBoDZS9X16FTg9CKyH5kNI3tDFkjJC
 nDwMYONR/YLbiuWZM5niD0NE7a7GMc6zR/7kgj8xvJ8K/bMvDUCvMfv3d504+DfiQAa+jl9D
 sDb2GaIHClvhm1dfzYtx+hkpFBljFKK0Kx2mftdQNBa4fJNXwsmJLbTyuV7D5b5XQeSNsyRR
 gOARdOrSSo0Usp3w9IKZBNlHM6+ixnYwyewK7oclrjOBZttt6yBgz7+IMFyz3uA364k57U/a
 u1IM2Duxqt29gyIQpXMj13cjKGyM6IVwC/K8m6Hi2uIpkBRFgBqA+3DWjgEa03aoM6chAuKR
 qKyCbkhLgpKyNKTYqpMZNrziFxaRfDlcN3AamO1km20CF6G3LSJJIbtfmwc2m3aBi1m20gf9
 HCHMQUyGjaJrGfXDTgoHlXqIgvt/eR4tHKnXxos1QjZJ0Zl1rez5lsUnanGE6JVju9C4Xl/7
 WgoTzPfl5rMBtGNphRsZvBZaNI5uxJc0H7B8hd6JtqmJrxjgVgXd0J2uVnv3lN5ENYl84Bio
 XU0wQ51Ma/d3klGcmbS0Zn2O7naJnXj1B+qYq/SnFrZ1ZzFn8VHoOR9sFjlsAyzQwAu+nNm1
 9RZz2q06ZDDDQ5UWpX0GBV/511xoLfUZTM47oXf2Ch3MKW6hTTF3sogGOovzhvIk853CKqfD
 0eyFsQbA5PrM+k2gx2yaQpCOulO9akyNsfgdv2c2aftMvwy1D6hiG1G5sh63Cfuv2JwQ+jJ2
 5sJ3+Cw0Q6OVjO6h1Ck+sz6goFLYzgOE3H3k3C1Qt4MIPQsI8BWVS+nOIWvy897hoLxVnI9l
 hbrHF4A1MKzOFKTY1H7wQxMxBESqH2jlzG/ym88mDUoo6yDmS3Wlr66JVxXZygSGjck0Au/R
 Or8x8oXV0WpcQUzwR6s5EKhgrNeuLw6NG7LB0FBYynxKWhmFKq2rLuLJcBVu/ZK+W1aVvqxZ
 VeCR/vzuRwfhmnvFm1fwD03ayCCtZDwnhg8g2WYZiUWzjKRaYRryBHT6caJD/JY2DsCSSVkm
 BHYA1G9O5+i+tDexPKh+qiuEmmmUJNUayziy4iN4TC66WNdChq6h/mvm9fjHFtywWrh2tJtT
 ymNsAfkb9yhyfGhKew+NBoNZhe0+49gF4p5iId1mJwAxS1QmMCO5XRe2WbrbYcAhOSnPSJLH
 2JUhYaSulSt2VU/fCzVgdiiDTPEnJMnP57jMwZ0kmo895wYVvnSteQe23Mz+h3i9UrQeaQvw
 Glbk6d/ri5CxblO4lJlzz3BUO9IWxAEe3W9zVLQqInuyccfLGe3LerviAwnx43nVPfa5VgCE
 HfhJsV7RX82t5ogdgKKiDqps8nlYIWCNI1I8ETFz1GYybASccxU9LJChDI7azil7Dt1lqhi1
 0wohdbj48CGMzk/pvvnREMIcGSkPYVLvWi8xadGwpTMht7pRM4wXG5RGsOvFKPNcnpao/3jM
 0zm/CQUjHCdFPKfGAae7BwjtHfTC9WwMGnRInAFzNJkTR3bJUpFgQlSUi9o1pg+XhunwsDsa
 iIbrngY+0L4px1Qy+lpKwi3U2HRox2tYys1T57XJQRf7wVL7UPYecKE6ec7EyZd95yn5AuDT
 w7TLxxPFn0MU1eYCkrLO7Cv4ZzB9LHdCLfiafTJZrqKpKpVUPLJjZOj3416/iqdY8WCOn4xa
 p9zkkFHXH1/B4HYg2BVE31Rx3+LNpDF4krgqUgV5oil/f/mWRzi/96KArpWapB0/gyuxLyEL
 6iWjTp4LjBR0tUNw2XJwf4Rxg136Wkmej+zHLAHrSOIQrjXn/odAxcdaid+ONdZx6051whJf
 8Xcj5mms9wwxu5wEFpDWVH7z4uxYtcWJmimKF7dLEOCNbDDJDqShs+qPeWzTrpfiOgSvBq18
 2X+cQerLnGIkD/nUAqqOOdHgXSAPRBQj4q6dw5kFWnpSN+OgvKTP9p+jDlwyrox1Cqi3Ys0P
 j11ckcLpbqVv3swahRXHmVA6j9kKrDBlXvFqebfLZkSvL1gBSEmz4pn
IronPort-Data: A9a23:7UIYxKzJlB7XIZjNaAd6t+fewCrEfRIJ4+MujC+fZmUNrF6WrkUAn
 TcXXGyAOf/ea2D8fN91a4i0/R5TsMXQzYdnTwdorVhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t
 51GAjXkBJppJpMJjk71atANlVEliefQAOCU5NfsYkidfyc9IMsaoU8lyrdRbrJA24DjWVvT4
 YOq+KUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf
 Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPhc6
 81mh82iGD4uP7GLs74eUCReOidXaPguFL/veRBTsOSWxkzCNnrrmrBgUR1wMoof9eJ6R2pJ8
 JT0KhhXNkHF17/wmezlDLQw7iggBJGD0Ic3tnhmzDXUAeo3aZ/GSqTOo9Rf2V/cg+gXQ6yAO
 JVIOVKDajz5Px9hG0kRL6suu9iQgF/hQQRfrX+K8P9fD2/7lVQtitABKuH9cdWPQYBRn12Ej
 nnX+nzwRBAcLt2WjzSfmk9AncfKlCL/HYMVTfi2q6Isj1qUyWgeThYRUDNXvMVVlGaTeMp0G
 R0GqxMprLR13xaoTeT7dhuR9SvsUgEnZ/JcFOgz6Qeow6XS4hqECmVsctKnQIx23CPRbWx6v
 mJlj+8FFhQ07+LIESP1GqO86GLtaXJMfAfucAddFVNdi+QPtr3fmf4mczqOOKu8j9mwGDaph
 j7X8G4xgLIcicNN3KK+lbwmv95OjsiWJuLWzl+MNo5A0u+fTND/D2BPwQaBhcus1K7DEjG8U
 IEswqByFtwmA5CXjzCqS+4QBryv7PvtGGSC3AIwRsJ5rGryoCbLkWVsDNdWdBcB3iEsKW+BX
 aMvkV45CGJ7Zyf2N/AvPepd9exznfCwRLwJqcw4nvIXOsQrHON21C5pYkGU0gjQfLsEwMkC1
 WOgWZ/0Vx4yUPw5pBLvHrt1+eJ1m0gWmDyLLbimnkzP+efPPxa9FOZVWHPQNLxRxP3f+239r
 Y0PX/ZmPj0FD4USlAGModBNRb3LRFBnba3LRzt/LbLdfVo7QD1wYxITqJt4E7FYc21uvr+g1
 hmAtoVwkTITXFXLdleHbG5NcrTqUcotpH43J31+MlOh2nxlaoGqtf9Ne5wydLgh1epi0f8kF
 6lfK5vcWqxCGmbd5jAQTZjht4g9JhmmgAS5OSD6MjUyephXQRPEp43/dQz1+ShSVSe67JNso
 7Cp2g7Bb4AEQgBuUJTfZP61ngG+uHEcnKR5WE6Reotff0Dl8Y5LLS3tj69vc5tcd0mbnjbDj
 lSYGxYVo+XJsrQZytiRiPDWtZqtHst/AlFeQDvW4LOwAi/QoTiuzIpGZ+CXJGyPWW7x/pKiU
 uVb1fTLNvMKwQRRuI1mHrc3lK8z6oe9p7JeyQg4TnzHY07xUeFlK3iCmMhI7+hDm+MftgyxV
 UaCvNJdPOzRas/iFVcQIisjb/iCha5IwGiMtaxtLRWo/jJz8ZqGTV5WYUuGhhtdG6QpYokr9
 uEs5ZwN4Aulhxt3bNvf1nJI936BJ2ArWrk8ss1IG5fijwcmlgNYbZrHBnOk6Z2DcY8XYEwjI
 zvRha2bwroBmgzNdH08EXWL1u1Y3MxctBdPxV4EBlKIhtuV2aNtjUMJqWw6HlZP0xFK8+NvI
 Ww1ZUd7EqW54Gs6jsZ0WW3xSRpKAweU+xGvxgJRxnHZVUShSkfEMHY5ZbSW5Ekc/m9RFtSBE
 Gp0FIoxvffWkMDNMu8aXEdkr7niSoU0+FCe3s+gGMuBEt8xZj+NbmpCo4YXg0OPPC/zrBSvS
 SpWECJYZqjyNCpWqKo+Y2Vf/apFUwiKfQSuXtk4lJ7k3gjglPWa1j2HKkT3ccRITxAPHYlUF
 OQ2Tv9yu9+COOpiY9zV6WPg41O5oRLx2Oc/Rw==
IronPort-HdrOrdr: A9a23:6RzpxqjLeCpWV6DrjVy6nPf9E3BQXtcji2hC6mlwRA09TyX4rb
 HIoB1/73XJYVkqKRIdcLy7WJVoIkm8yXcW2/hyAV7KZmCP01dAR7sSiLcKrQeQfxEWNdQw6U
 6jScVD4RHLYmSSRPyV3DWF
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-AV: E=Sophos;i="5.91,287,1647298800"; 
   d="scan'208,217";a="16267798"
X-MGA-submission: =?us-ascii?q?MDGZo2kwE3Hxf5Vk51OwufV1BfdxOif+zDan2j?=
 =?us-ascii?q?a0yF7Ugj3MU0dU1Sd9lHhHLkmspXEcAW8mLniizYwowDhCaHbQNdxgE3?=
 =?us-ascii?q?e50T7tz4M2S17dYhWOv8+BtivFYFf9nR+bWNKv/dYXc7TS433RqkuZUq?=
 =?us-ascii?q?WVWBiLben/fifDl5sie5znbA=3D=3D?=
Received: from mail-io1-f54.google.com ([209.85.166.54])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jun 2022 06:32:23 +0200
Received: by mail-io1-f54.google.com with SMTP id n11so1114605iod.4
        for <caml-list@inria.fr>; Wed, 08 Jun 2022 21:32:23 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20210112;
        h=mime-version:from:date:message-id:subject:to;
        bh=WRBK4YhpL/pVLBWM6V7labO+ugUnurOBPa+NdhoIKIw=;
        b=K6a2+7Va8++XFhUyNHBngXnPJLt+drbxdeRSgNdKcTJzmN2AHfFAjZ37+9KPlgPa6r
         EYKwWyd9sl0L3qn2RXXlpwSXWmygJXcrSZZw2z+Qx1raWjJFTJ5AAMjFEd03xSv07Ie6
         kOU0XQot6PrneCzlLBJVGop3X1AL+Q8mYkS9vKhkU84IgK+skRQwZd0t6/9zQ084Ve5c
         xDzCWpBpDbKFsrobzZAjDOP4WgEMhPe9cYvdAtBPZkxgn7KBRD/yiLVsec3i5+o/oIqb
         pMXXkcLSWs7kAvGub646+HtP/dQqLNMxuVdnuHbSZj121/2Fyp5qbL1KrpmGccOzKSx1
         8EyA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20210112;
        h=x-gm-message-state:mime-version:from:date:message-id:subject:to;
        bh=WRBK4YhpL/pVLBWM6V7labO+ugUnurOBPa+NdhoIKIw=;
        b=KS0vNfreo+EgE4Q1fSt4dNPyYOQduSgUz6Lw6R5+qYLjZWZ5ZdSk1X/LBjkJ9sjSKv
         wasGhlcRTVeT8kZBFAcGcmQovQgfzf/b3Y/Czmb6ENGf0qvspcvvhelk3TX/1fMxbcpT
         O75kZHd5RdJRnOyEcTZISq09fuy6WlXNpyJ5a2waJcBjh6XijxeBg/eWku9A6Q5cxYBH
         3zqKdz5oZzbCKRNq+vcaXHXGCSPIZWepZNi3dbUI6pG6U4B+aHAx79Ek0n900v09LQxU
         o8iv63kgGlm75SEWjQvLrBZH5s5rDlBfViF6af9/IUzQev82vdLk5kn4B3EMPXW5efWo
         RJWw==
X-Gm-Message-State: AOAM531tV6QWIidyYbJqR1Lsl5251GXAyDAO6rkMIKN4XuH5XwfTSc72
	Gu1T8jXe8zEhc9pWNayNwU/NAfGMk6Uv6DE+uiL13tIh1Hh5S95w678=
X-Google-Smtp-Source: ABdhPJwVRLooMXV7E0T49z2RtV4FVHJJlxCuHriQXpB6NQScIPphNAG7YnCh4WcjTGRUaJaE7VGjlMoAxgN4pJWWuGE=
X-Received: by 2002:a02:3506:0:b0:328:9a29:678 with SMTP id
 k6-20020a023506000000b003289a290678mr20102490jaa.33.1654749141545; Wed, 08
 Jun 2022 21:32:21 -0700 (PDT)
MIME-Version: 1.0
From: daniel Ding <daniledty@gmail.com>
Date: Thu, 9 Jun 2022 12:32:10 +0800
Message-ID: <CAEfj2QRU5u=LU=NiW--TQF17ue3ZQ=xvweyYP0g6pamF4h94HA@mail.gmail.com>
To: caml-list@inria.fr
Content-Type: multipart/alternative; boundary="000000000000c635f205e0fc4e0d"
Subject: [Caml-list] unsubscribe
Reply-To: daniel Ding <daniledty@gmail.com>
X-Loop: caml-list@inria.fr
X-Sequence: 18784
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-06/CAEfj2QRU5u%3DLU%3DNiW--TQF17ue3ZQ%3DxvweyYP0g6pamF4h94HA%40mail.gmail.com>

--000000000000c635f205e0fc4e0d
Content-Type: text/plain; charset="UTF-8"

unsubscribe

--000000000000c635f205e0fc4e0d
Content-Type: text/html; charset="UTF-8"

<div dir="ltr"><span style="color:rgb(0,0,0);font-family:monospace;font-size:medium;text-align:justify">unsubscribe</span><br></div>

--000000000000c635f205e0fc4e0d--