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 DEE212DF6 for ; Wed, 13 Mar 2019 11:45:28 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,474,1544482800"; d="scan'208";a="373219099" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Mar 2019 12:45:26 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id EDBDE82655; Wed, 13 Mar 2019 12:45:26 +0100 (CET) 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 08EED82603 for ; Wed, 13 Mar 2019 12:45:20 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nicolas.ojeda.bar@lexifi.com; spf=Pass smtp.mailfrom=nicolas.ojeda.bar@lexifi.com; spf=Pass smtp.helo=postmaster@FRA01-MR2-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3A/injEByp+NDHVQfXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2u4XIJqq85mqBkHD//Il1AaPAdyDraodw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94DPbwlSmDaxfK55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDtU7s6RSqt4LtqSB/wiS?= =?us-ascii?q?cIKTg58H3MisdtiK5XuQ+tqwBjz4LRZoyeKfhwcb7Hfd4CRWRPQNtfVzBPDI2/?= =?us-ascii?q?YYsADesBMvpXoYbyvFYOsQCxCBOwCO/z1jNFhHn71rA63eQ7FgHG2RQtEcoPsH?= =?us-ascii?q?vIq9X1MKUVUfuox6fRzzXMce5Z1i3g44XVdxchu+yHULV2ccrQ1UYvEAfFgU+L?= =?us-ascii?q?qYD/ODOV1PoCvHWB4OZ6Tu2gkXQnphp1ojexycYsi4fJhoMPxl/Y8iV5xZ84KN?= =?us-ascii?q?ulQ0B4ed6pCJRduz2AO4drXs8vQXtktSIgxrEbpZK3YjAGxIo7yxPbcfCKcIiF?= =?us-ascii?q?7gj9WOqNIjp0nm9pdbO7ihqq/0iv1O7xWtWx3VtPrydJjsTDuWoI2hzd98eKS/?= =?us-ascii?q?pw80K81TmT2A3e7uRJLEEumqXHMZEsxKM7mIAJvkTZBCD2nV37jK+IeUUg/eil?= =?us-ascii?q?8+TpbKn6q5OAKoN4kwbwPLgwlsCmBuQ3KRYBU3Kc+eShyL3s5kr5QKhMjvIriK?= =?us-ascii?q?XZqIraJcMHpqGnHwBVzocj6xG5Dzu819QYgGUHLFZCeBKAjIjlIU3BIPf9Dfun?= =?us-ascii?q?glSslilkx+zeM7DuHpnBNGXPnKvjcLpn70NQ0hc/wcxB655MD7EOOvPzWkv/tN?= =?us-ascii?q?zCCR85NhS5w+DmCNph0YMeXXiAArSDPKPVs1+H+P8gLPOWaIAOojn9MeMo5/rw?= =?us-ascii?q?gn42mF8dc6ip0YELZ3C/G/RqO1+Zbmb0gtcdDWcKuRIzQ/Dwh12HVT5ffnKyX6?= =?us-ascii?q?Mn5jEnE4+mFofCRoW1gLObxiu7H5tWZnpHCl+WC3voeZ+ECL8wb3e1CcZklnQh?= =?us-ascii?q?XLmlSokunTWvrxOyn7FuK+6R/iwDqbri0sJ07qvdj0dh2yZzCpG70mqKS+hv1k?= =?us-ascii?q?QKSjM/lIrzuwQpzFaI1qxxmLpfF9Ff7rVDWx0SMZPMzuJ7Tdv1X1SSLZ+yVF+6?= =?us-ascii?q?T4D+UnkKRdUrzopLOh4lQoTwvlX4xyOvRoQtufmODZ0w/Ljb2iGrdcJw23fI1e?= =?us-ascii?q?8qiFx0G5ITZ13jvbZ28k3oP6CMi1+Qzvz4cakM3SDMsmyEyDjW5RwKYEtLSazA?= =?us-ascii?q?GEsnSA7WoND+uhyQYYWHUe1iFzEbjMmIJ+1Nd8HjikhASLH7ItPCbmmtmmC2Qx?= =?us-ascii?q?GV2reLa4mscGIYjnzQ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DqAQC/7Ihch2YJayhkghcCgTtQgVwDB?= =?us-ascii?q?AsnCoQAg0cDhS+Jf4JXiipnjRoUgRADVAwBLIRAAheESQYBBDAJDQEBAwEBCQE?= =?us-ascii?q?DAQEBEwEBAQgNCQgpIwxCAQ4BgWgpAYJnAQUjEQwBATgPAgEICw0CAggJAQMBA?= =?us-ascii?q?Q8CAgIgEBUQAgQTgyKBXgMVAQKjRQKKFHGBL4J4AQEFhQsYgQaBBgiBCyQBjCa?= =?us-ascii?q?BHIERgmQugUGCew13CQ4EBIIsgleKToIFhCdHknMHAoNFj1AZgXqJLogWmhmDN?= =?us-ascii?q?wIEAgQFAg4BAQWBR4IOcFAHKgaBWF2CIgKCJYEvilNBMQGBJ4JjinqBHwGBHgE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0DqAQC/7Ihch2YJayhkghcCgTtQgVwDBAsnCoQAg0cDhS+?= =?us-ascii?q?Jf4JXiipnjRoUgRADVAwBLIRAAheESQYBBDAJDQEBAwEBCQEDAQEBEwEBAQgNC?= =?us-ascii?q?QgpIwxCAQ4BgWgpAYJnAQUjEQwBATgPAgEICw0CAggJAQMBAQ8CAgIgEBUQAgQ?= =?us-ascii?q?TgyKBXgMVAQKjRQKKFHGBL4J4AQEFhQsYgQaBBgiBCyQBjCaBHIERgmQugUGCe?= =?us-ascii?q?w13CQ4EBIIsgleKToIFhCdHknMHAoNFj1AZgXqJLogWmhmDNwIEAgQFAg4BAQW?= =?us-ascii?q?BR4IOcFAHKgaBWF2CIgKCJYEvilNBMQGBJ4JjinqBHwGBHgEB?= X-IronPort-AV: E=Sophos;i="5.58,474,1544482800"; d="scan'208";a="373219053" X-MGA-submission: =?us-ascii?q?MDHbf4O0e4L4JWU+h+tH8jF0+dC3UpUkOF9Vch?= =?us-ascii?q?BamvzSk5VvGsctXaosPZFKPYU9ACeDLTSeq7449nI2WV6BKneZCjDvZm?= =?us-ascii?q?jWs0qNkHchB4fbAb/E3i7LxNqT5oiS+K3npdsURj4op/2IGqbUx5fTM5?= =?us-ascii?q?5AfDp2dtWqTPvX8c45X+Z4pg=3D=3D?= Received: from mail-eopbgr90102.outbound.protection.outlook.com (HELO FRA01-MR2-obe.outbound.protection.outlook.com) ([40.107.9.102]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 13 Mar 2019 12:45:19 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lexifi1.onmicrosoft.com; s=selector1-lexifi-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=JxtYv93lNaP4Gz2wY/640wd8M6q5hKhDcIkyUX1nBdU=; b=Nl8InoqPvD7BehuEV4tmwmsRlRI3SzRL5sbEjJlGO/5hTQnEXM+mvX3qbqvp1CCM2u4r1+/k+m8CmRnOxILEba0/NB3kzQZ7nKtu01QiuljaKjR9PCtbZakphnEhngIj66iF7guoyNFuymAXJ+V9KokzSArAqf6/zhdgQdNIyvk= Received: from PR2P264MB0493.FRAP264.PROD.OUTLOOK.COM (52.133.98.17) by PR2P264MB0624.FRAP264.PROD.OUTLOOK.COM (52.133.102.141) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1709.13; Wed, 13 Mar 2019 11:45:17 +0000 Received: from PR2P264MB0493.FRAP264.PROD.OUTLOOK.COM ([fe80::60da:fd66:1c49:6aca]) by PR2P264MB0493.FRAP264.PROD.OUTLOOK.COM ([fe80::60da:fd66:1c49:6aca%2]) with mapi id 15.20.1686.021; Wed, 13 Mar 2019 11:45:17 +0000 From: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= To: OCaml Mailing List Thread-Topic: IMPORTANT: Switching from Mantis to GitHub issues on March 14th Thread-Index: AQHU1/lrFMMZq/yGukWI5FjV1cW9oaYJdHOA Date: Wed, 13 Mar 2019 11:45:17 +0000 Message-ID: References: In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-clientproxiedby: HE1PR06CA0131.eurprd06.prod.outlook.com (2603:10a6:7:16::18) To PR2P264MB0493.FRAP264.PROD.OUTLOOK.COM (2603:10a6:101:4::17) x-ms-exchange-messagesentrepresentingtype: 1 x-gm-message-state: APjAAAU2ooYTXWSsdeLLXeUBtvyKEViElmvDc05l1AZVPYMINaM9iA09 VTvM/WqwtsFKC50lz3fWCMVYQfk+Irl5ZrQzoFA= x-google-smtp-source: APXvYqyusrvpENc623kMly+E3KlbzAHV9nUzHQ1x+9l5Cx+xPiGI0O69r1aYmx/G4mukREgs8y52UMu/8H61uOzH5xE= x-received: by 2002:a2e:9a58:: with SMTP id k24mr2321039ljj.136.1552477514303; Wed, 13 Mar 2019 04:45:14 -0700 (PDT) x-gmail-original-message-id: x-originating-ip: [209.85.208.169] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 72af88df-8394-4f4a-58d1-08d6a7a95d17 x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(7021145)(8989299)(5600127)(711020)(4605104)(4534185)(7022145)(4603075)(4627221)(201702281549075)(8990200)(7048125)(7024125)(7027125)(7023125)(2017052603328)(7153060)(7193020);SRVR:PR2P264MB0624; x-ms-traffictypediagnostic: PR2P264MB0624: x-microsoft-antispam-prvs: x-forefront-prvs: 09752BC779 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(366004)(346002)(376002)(396003)(39840400004)(136003)(199004)(189003)(14454004)(316002)(85202003)(486006)(106356001)(413944005)(11346002)(446003)(105586002)(6916009)(476003)(61266001)(2906002)(97736004)(66574012)(66066001)(86362001)(508600001)(61726006)(6246003)(386003)(53546011)(6506007)(6486002)(5660300002)(76176011)(53936002)(6436002)(7736002)(305945005)(71200400001)(71190400001)(85182001)(52116002)(8936002)(498394004)(102836004)(55446002)(99286004)(81166006)(81156014)(14444005)(229853002)(3846002)(6116002)(26005)(6512007)(186003)(68736007)(25786009)(95326003)(9686003)(256004)(8676002);DIR:OUT;SFP:1102;SCL:1;SRVR:PR2P264MB0624;H:PR2P264MB0493.FRAP264.PROD.OUTLOOK.COM;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: LcxFWsnYVRbA63RPZwDmw7EIPK/bwiXFVFXzbgwJGBqmEW8FFy1puJBulFq++kG1e4kwZhkPf0/Qq10MGBiQPh3N3a/AnnlVq2fXFQOKBCZfSjPAHKs2v+LwVNL2hLV7kWuJ0TMzHy/AQNGzYadLysD/pNbSgCPM/Q0TTVy7v1sUw81KKwqaUQ7NSa7ph8dyBdD6k6LOHV7NjLkhKKMvM43/9tou1lWSzs1B+UDDjGs6L1sygSoqFMqCybeGFG/XYIsTyIXkmEwPRmBJ1m829VkfxnIdpOxQKeyvJ1i0jKQdGe5BsED1gqqXWOY/O9iW3S7GZevGgBv53lwudWcaiIMDLMZmCtbQiQJKhjHhbDZnaivZsW5Gi2Z8EIpEyyrYV9f12MDRnXpFdmByU2kiFVy1CVmRl69MPXUGOHrl/oE= Content-Type: text/plain; charset="utf-8" Content-ID: <69D73F4EE15AA34B975F50B37F5B7D06@FRAP264.PROD.OUTLOOK.COM> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-Network-Message-Id: 72af88df-8394-4f4a-58d1-08d6a7a95d17 X-MS-Exchange-CrossTenant-originalarrivaltime: 13 Mar 2019 11:45:17.7700 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 9c9628ec-e5c3-4aa7-afa1-e7bf99470874 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-Transport-CrossTenantHeadersStamped: PR2P264MB0624 Subject: Re: [Caml-list] IMPORTANT: Switching from Mantis to GitHub issues on March 14th Reply-To: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= X-Loop: caml-list@inria.fr X-Sequence: 17410 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: RGVhciBjYW1sLWxpc3QsDQoNClRoZSBzd2l0Y2ggb2YgdGhlIE9DYW1sIGJ1ZyB0cmFja2VyIGZy b20gTWFudGlzIHRvIEdpdEh1YiBpc3N1ZXMgd2lsbA0KdGFrZSBwbGFjZSB0b21vcnJvdywgTWFy Y2ggMTQuDQpNYW50aXMgd2lsbCBiZSBvZmZsaW5lIGFuZCB0aGUgR2l0SHViIHJlcG9zaXRvcnkg d2lsbCBiZSByZWFkLW9ubHkNCnVudGlsIHRoZSBtaWdyYXRpb24gaXMgZmluaXNoZWQuDQoNCk9u ZSBtb3JlIGUtbWFpbCB3aWxsIGJlIHNlbnQgdG8gdGhpcyBsaXN0IG9uY2UgdGhlIG1pZ3JhdGlv biBpcyBjb21wbGV0ZS4NCg0KSU1QT1JUQU5UOiB0aGVyZSBpcyBzdGlsbCB0aW1lIHRvIHNlbmQg bWUgeW91ciBNYW50aXMgYW5kIEdpdEh1YiB1c2VyDQpuYW1lcyBpZiB5b3Ugd2FudCB5b3VyIEdp dEh1YiB1c2VyIG5hbWUgdXNlZCBpbiB0aGUgbWlncmF0ZWQgaXNzdWVzLg0KDQpCZXN0IHdpc2hl cywNCk5pY29sw6FzDQpvbiBiZWhhbGYgb2YgdGhlIE9DYW1sIGRldmVsb3BtZW50IHRlYW0NCg0K T24gTW9uLCBNYXIgMTEsIDIwMTkgYXQgMTE6NTggQU0gTmljb2zDoXMgT2plZGEgQsOkcg0KPG5p Y29sYXMub2plZGEuYmFyQGxleGlmaS5jb20+IHdyb3RlOg0KPg0KPiBEZWFyIGNhbWwtbGlzdCwN Cj4NCj4gV2UgYXJlIGdvaW5nIHRvIHN3aXRjaCB0aGUgT0NhbWwgYnVnIHRyYWNrZXIgZnJvbSBN YW50aXMgdG8gR2l0SHViDQo+IGlzc3VlcyBvbiBUaHVyc2RheSwgTWFyY2ggMTQuIEV4aXN0aW5n IGJ1ZyByZXBvcnRzIHdpbGwgYmUgbWlncmF0ZWQNCj4gd2l0aCB0aGUgaGVscCBvZiBhIHNjcmlw dC4gT24gdGhpcyBkYXksIE1hbnRpcyB3aWxsIGJlIG9mZmxpbmUgYW5kIHRoZQ0KPiBHaXRIdWIg cmVwb3NpdG9yeSB3aWxsIGJlIHJlYWQtb25seSB1bnRpbCB0aGUgbWlncmF0aW9uIGlzIGZpbmlz aGVkLg0KPg0KPiBBIHJlbWluZGVyIHdpbGwgYmUgc2VudCB0byB0aGlzIGxpc3Qgc2hvcnRseSBi ZWZvcmUgdGhlIG1pZ3JhdGlvbi4NCj4NCj4gSU1QT1JUQU5UOiBpZiB5b3Ugd2lzaCB0byBoYXZl IHRoZSBtaWdyYXRlZCBpc3N1ZXMgdXNlIHlvdXIgR2l0SHViDQo+IHVzZXIgbmFtZSBpbnN0ZWFk IG9mIHlvdXIgTWFudGlzIHVzZXIgbmFtZSwgeW91IE1VU1Qgc2VuZCBtZSBib3RoIHVzZXINCj4g bmFtZXMgYmVmb3JlIE1hcmNoIDE0IHNvIHRoaXMgaXMgdGFrZW4gaW50byBhY2NvdW50IGR1cmlu ZyBtaWdyYXRpb24uDQo+IFRoaXMgbWF5IGJlIGNvbnZlbmllbnQgaWYgeW91IHdhbnQgdG8gYmUg YXV0b21hdGljYWxseSBzdWJzY3JpYmVkIHRvDQo+IGlzc3VlcyB5b3UgYXV0aG9yZWQgYW5kL29y IG1vbml0b3JlZCBpbiBNYW50aXMgYW5kIHlvdSBkbyBub3QgYWxyZWFkeQ0KPiBzdWJzY3JpYmUg dG8gYWxsIEdpdEh1YiBub3RpZmljYXRpb25zLg0KPg0KPiBEbyBub3QgaGVzaXRhdGUgdG8gZ2V0 IGJhY2sgdG8gbWUgaWYgeW91IGhhdmUgYW55IHF1ZXN0aW9ucy4NCj4NCj4gQmVzdCB3aXNoZXMs DQo+IE5pY29sw6FzDQo+IG9uIGJlaGFsZiBvZiB0aGUgT0NhbWwgZGV2ZWxvcG1lbnQgdGVhbQ0K