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 C49F72DF6 for ; Thu, 14 Mar 2019 23:13:18 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,479,1544482800"; d="scan'208";a="373489655" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Mar 2019 00:13:17 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 85C868265C; Fri, 15 Mar 2019 00:13:17 +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 4A3F282603 for ; Fri, 15 Mar 2019 00:13:09 +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=3ANY4TMRHaw1QTyEEnl9OydZ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7yoMuwAkXT6L1XgUPTWs2DsrQY0rKQ6/mocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmSaxbaluIBmrsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnlC?= =?us-ascii?q?YHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6jAf90VWHBBU95RWSJfH428?= =?us-ascii?q?c4UBAekPPelaronyu1QAohSlCAmwH+zi0CNEimPq0aA41ekqDAHI3BYnH9ILqH?= =?us-ascii?q?natNT1O7sVUeCxzq7I1ijIYepU2Tjj9YfHaA0qrOyJWrJqbMHczk8vFwLZgVWX?= =?us-ascii?q?rYzqJSiV2v4Ks2iZ8eVvSPigh3Q8pA5ruDii3cMshZfGh4IUxFDE9D91z5oyJd?= =?us-ascii?q?29UUN2Z8OvHpVXtyGfLYR2Q8UiTnlnuCY71r0GuYO7czMQxJs7wB7fbvqKeJWL?= =?us-ascii?q?7BL7TOucLit0iGh4dL6jhRu+60ytxvfhWsWq1FtGtjRJnsXIu3wX1BHe6tKLRu?= =?us-ascii?q?Z880qjwzqC1w/e5vlKIU8qlqfXN5ssz7sxm5YPrEvMBCr7mEvrg6KXd0gp//Wk?= =?us-ascii?q?5Pjob7jio5KRNpV7hR3kPakoh8exG/43MhIUUGie4em81KPs/Un+QLhSjvM4jr?= =?us-ascii?q?XUvIzHKcgCoaC3HxFZ3p8k6xmkETiqytMYnWQbLF1efxKHko7pNEzULPDgF/e/?= =?us-ascii?q?hEisnyl3yPDaP73hBZPNImLEkLf8YbZ970lcyA0wzdxF+51UDbQBLOryWk/3qt?= =?us-ascii?q?PYEgc0PgOoz+r9FdlxyoETVXiLD6ODLa/er1uF6voqI+aWZY8VvDj9K+Ii5/7r?= =?us-ascii?q?lXI5n14dcrWu3ZsTcn+4Be5qI0KbYXXyn9gOC30GsREkQ+zwk1CCVSBcZnmzX6?= =?us-ascii?q?Iy5zE3Ep6pDYDGRoy1mryOwD+7HoFKZmBBEl2DDW3nd4CAW/sVbCKSI9RhkiAf?= =?us-ascii?q?WLi6S44h0AmuuxXgx7pmKOrU4CwYuoj52Nh7/e2A3S01oBtfBsGZm0SETmV1mG?= =?us-ascii?q?xAYz4twOgrqkV4zhKH0LNkq/1eD91aof1TBFQUL5nZmsp7ANf20xmJWdWERF/u?= =?us-ascii?q?aFm8SWU3T9k2x9YVJUF/FtmryBrKxQKuDq8Umb3ND5sxpPGPl0PtLtpwni6VnJ?= =?us-ascii?q?IqiEMrF44WbTX/1/xPsjPLDouMqH230qOjdKASxinIrT3RyWeevU9ZFgV3VPec?= =?us-ascii?q?BCxNVg7ttd38o3j6Yfq2E71+aFlFxN6DJKoMYdrs3w0fGaXTfe/Gamf0oF+eQB?= =?us-ascii?q?aFwrTQM9jEQUxFhWD4MhJBlAoeu3GbKQI5GyGt5XrECyBjHk7uZEWq9vRirHS8?= =?us-ascii?q?TQk/yATYNkA=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DyAQBQ34pch4EJayhkghcCgTtQa3EDB?= =?us-ascii?q?AsnCoQBg0cDhTGJeIJXiipojR4UgRADVAwBIwmEQAIXhFQGAQQwCQ0BAQMBAQk?= =?us-ascii?q?BAwEBARMBAQEIDQkIKSMMQgEOAYFoKQGCZwEFIxEMAQE4DwIBCAsNAgIICQEDA?= =?us-ascii?q?QEPAgICIBAVEAIEE4MiAYFdAxUBAgyhVQKKFHGBL4J4AQEFhQUYgQaBBgMFgQs?= =?us-ascii?q?kAYwmgRyBEYJkLoFBgV0CAYEbDTg/CQ4EBIIsgleKUIIFhCpHhlCMLQcCg0iEE?= =?us-ascii?q?ItHGYF7hWuDSogckHKJPoM3AgQCBAUCDgEBBYFHgg5wUAcqBoFYXYIiAoIlgS+?= =?us-ascii?q?KU0ExAYEngjyIWYEfAYEeAQE?= X-IPAS-Result: =?us-ascii?q?A0DyAQBQ34pch4EJayhkghcCgTtQa3EDBAsnCoQBg0cDhTG?= =?us-ascii?q?JeIJXiipojR4UgRADVAwBIwmEQAIXhFQGAQQwCQ0BAQMBAQkBAwEBARMBAQEID?= =?us-ascii?q?QkIKSMMQgEOAYFoKQGCZwEFIxEMAQE4DwIBCAsNAgIICQEDAQEPAgICIBAVEAI?= =?us-ascii?q?EE4MiAYFdAxUBAgyhVQKKFHGBL4J4AQEFhQUYgQaBBgMFgQskAYwmgRyBEYJkL?= =?us-ascii?q?oFBgV0CAYEbDTg/CQ4EBIIsgleKUIIFhCpHhlCMLQcCg0iEEItHGYF7hWuDSog?= =?us-ascii?q?ckHKJPoM3AgQCBAUCDgEBBYFHgg5wUAcqBoFYXYIiAoIlgS+KU0ExAYEngjyIW?= =?us-ascii?q?YEfAYEeAQE?= X-IronPort-AV: E=Sophos;i="5.58,479,1544482800"; d="scan'208";a="373489628" X-MGA-submission: =?us-ascii?q?MDHQpHfEGPaRxHcea/ykC4kuKGDNOivqQ30/OQ?= =?us-ascii?q?gAVAHaBk0y/PaEh28vXiI8IvDvGx/Mx3qR+aqgIMTbZvIAKXPOvxRUHZ?= =?us-ascii?q?FFXqPyRLjwxHElpXMddNAbI1LrsdYAhAk+CP9sSHljzbuUKLHXKWbvHC?= =?us-ascii?q?H7N9Fn03shtJqXhdBuD8pq5w=3D=3D?= Received: from mail-eopbgr90129.outbound.protection.outlook.com (HELO FRA01-MR2-obe.outbound.protection.outlook.com) ([40.107.9.129]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 15 Mar 2019 00:13:08 +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=UCuS8ww94ot3edua/MB7yuxHOkOLbbtY42CGIRKo61I=; b=MWsmlU7GGpi5IajTPWHwaahvJLtoxTXJA8pKbju0s6u5TJUBvA4t9dwJSa7AsWJwPBwe5uH6UGaU2AcbYy0FqjxseBUygEeuryTKZaUsgbStbQfrOLjb3SYgFqjOJJLnpVPj93f05TPCPl5/5/rdi7/pJy+w4snI38I8UhX2dcc= Received: from PR2P264MB0493.FRAP264.PROD.OUTLOOK.COM (52.133.98.17) by PR2P264MB0462.FRAP264.PROD.OUTLOOK.COM (52.133.103.13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1709.13; Thu, 14 Mar 2019 23:13:07 +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.1709.011; Thu, 14 Mar 2019 23:13:07 +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/yGukWI5FjV1cW9oaYJdHOAgAJSgIA= Date: Thu, 14 Mar 2019 23:13:07 +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: HE1PR02CA0094.eurprd02.prod.outlook.com (2603:10a6:7:29::23) To PR2P264MB0493.FRAP264.PROD.OUTLOOK.COM (2603:10a6:101:4::17) x-ms-exchange-messagesentrepresentingtype: 1 x-gm-message-state: APjAAAWzSQFQFMUSorr/ZbehTjQYn/5C3ttIR/PmQ4fL2WH9DJGMyzbX PxAdgYcaq50SdUUuN4Us02StBfStacXoevWzDeg= x-google-smtp-source: APXvYqxNU14GKdNKv13yNlTOVlGDDjA8esdarYubfFgzw1RimlTDZ0CvQQTMFQj8N8BGB5NqnSjMYVxSDqFvXRfsses= x-received: by 2002:a19:40c8:: with SMTP id n191mr392115lfa.22.1552605184265; Thu, 14 Mar 2019 16:13:04 -0700 (PDT) x-gmail-original-message-id: x-originating-ip: [209.85.167.54] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 9b682b03-04e6-4c79-cfd6-08d6a8d29e31 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:PR2P264MB0462; x-ms-traffictypediagnostic: PR2P264MB0462: x-ms-exchange-purlcount: 2 x-microsoft-antispam-prvs: x-forefront-prvs: 09760A0505 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(366004)(39840400004)(376002)(346002)(396003)(136003)(52284002)(199004)(189003)(81166006)(81156014)(95326003)(99286004)(85182001)(105586002)(55446002)(66066001)(86362001)(25786009)(85202003)(76176011)(106356001)(61726006)(9686003)(6246003)(8676002)(6306002)(6512007)(7736002)(52116002)(6916009)(53936002)(305945005)(53546011)(386003)(6506007)(61266001)(498394004)(71200400001)(97736004)(486006)(3846002)(5660300002)(476003)(256004)(508600001)(186003)(68736007)(11346002)(66574012)(14454004)(446003)(2906002)(229853002)(102836004)(316002)(71190400001)(8936002)(26005)(966005)(98316002)(14444005)(6486002)(413944005)(6436002)(6116002);DIR:OUT;SFP:1102;SCL:1;SRVR:PR2P264MB0462;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: z+50SII97EC5h8VbYzhlUUIvQDueSUTdo2Rn3bI6HnyqgoitaEWUyM2zjVxaTKnR3h8Ij48S8XTm9wzNfMOSlCflwxvuxT411jt/lZLHaWfNVYqAiFnfePdpFabxbU9bzBJ52q8xtlrA/8n+z2+YMYimDaPc6X1uz85C7O8WE87iyNsNLJZlZi0BDO5yza91mwiCGTwKmGhSWmV5/BAob7tInyRfFn88IztcdzOx7ebmOXWG9WejKKU7Lb7OAI+AP6N8DCC6gZEw30N36nmocmLy5zrc+XgBwQmwcxElr3P7V/ygKhNk7RbN9zqwHzAOnrCnbWpSSgLu3GDWTQHDloRTQ0DzQj7goT5wHoLyFl2y8q9o5DBzBXCUNOfhrgVBbwfYLgr5I9JC3jQcbr5KG3T3acoXaJ8lUQGwYAMUfDo= Content-Type: text/plain; charset="utf-8" Content-ID: <5C347D7884A95A43BAFAFBCCFD72C8CD@FRAP264.PROD.OUTLOOK.COM> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-Network-Message-Id: 9b682b03-04e6-4c79-cfd6-08d6a8d29e31 X-MS-Exchange-CrossTenant-originalarrivaltime: 14 Mar 2019 23:13:07.2708 (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: PR2P264MB0462 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: 17420 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: RGVhciBjYW1sLWxpc3QsDQoNClRoYW5rIHlvdSBmb3IgeW91ciBwYXRpZW5jZS4gVGhlIG1pZ3Jh dGlvbiBvZiB0aGUgT0NhbWwgYnVnIHRyYWNrZXIgaXMNCm5vdyBjb21wbGV0ZS4NCklmIHlvdSBu ZWVkIHRvIHJlcG9ydCBhIGJ1ZywgcGxlYXNlIGRvIHNvIGF0DQoNCiAgICBodHRwczovL2dpdGh1 Yi5jb20vb2NhbWwvb2NhbWwvaXNzdWVzDQoNCk5vdGUgdGhhdCBzb21lIG9mIHRoZSBvbGRlc3Qg TWFudGlzIGlzc3VlcyBoYWQgdG8gYmUgcmVudW1iZXJlZC4gWW91DQpjYW4gc2VlIHRoZSBmdWxs IGxpc3Qgb2YgcmVudW1iZXJlZCBpc3N1ZXMgaGVyZToNCg0KICAgIGh0dHBzOi8vZ2l0aHViLmNv bS9vY2FtbC9vY2FtbC9ibG9iL3RydW5rL3Rvb2xzL21hbnRpczJnaF9zdHJpcHBlZC5jc3YNCg0K SW4gdGhlIGNvbWluZyBkYXlzLCByZWRpcmVjdGlvbnMgd2lsbCBiZSBwdXQgaW4gcGxhY2Ugc28g dGhhdCB0aGUgb2xkDQpNYW50aXMgVVJMcyB3aWxsIHBvaW50IHRvIHRoZSBuZXcgR2l0SHViIG9u ZXMuDQoNCkhhcHB5IGJ1ZyByZXBvcnRpbmchDQoNCkJlc3Qgd2lzaGVzLA0KTmljb2zDoXMNCm9u IGJlaGFsZiBvZiB0aGUgT0NhbWwgZGV2ZWxvcG1lbnQgdGVhbQ0KDQpPbiBXZWQsIE1hciAxMywg MjAxOSBhdCAxMjo0NSBQTSBOaWNvbMOhcyBPamVkYSBCw6RyDQo8bmljb2xhcy5vamVkYS5iYXJA bGV4aWZpLmNvbT4gd3JvdGU6DQo+DQo+IERlYXIgY2FtbC1saXN0LA0KPg0KPiBUaGUgc3dpdGNo IG9mIHRoZSBPQ2FtbCBidWcgdHJhY2tlciBmcm9tIE1hbnRpcyB0byBHaXRIdWIgaXNzdWVzIHdp bGwNCj4gdGFrZSBwbGFjZSB0b21vcnJvdywgTWFyY2ggMTQuDQo+IE1hbnRpcyB3aWxsIGJlIG9m ZmxpbmUgYW5kIHRoZSBHaXRIdWIgcmVwb3NpdG9yeSB3aWxsIGJlIHJlYWQtb25seQ0KPiB1bnRp bCB0aGUgbWlncmF0aW9uIGlzIGZpbmlzaGVkLg0KPg0KPiBPbmUgbW9yZSBlLW1haWwgd2lsbCBi ZSBzZW50IHRvIHRoaXMgbGlzdCBvbmNlIHRoZSBtaWdyYXRpb24gaXMgY29tcGxldGUuDQo+DQo+ IElNUE9SVEFOVDogdGhlcmUgaXMgc3RpbGwgdGltZSB0byBzZW5kIG1lIHlvdXIgTWFudGlzIGFu ZCBHaXRIdWIgdXNlcg0KPiBuYW1lcyBpZiB5b3Ugd2FudCB5b3VyIEdpdEh1YiB1c2VyIG5hbWUg dXNlZCBpbiB0aGUgbWlncmF0ZWQgaXNzdWVzLg0KPg0KPiBCZXN0IHdpc2hlcywNCj4gTmljb2zD oXMNCj4gb24gYmVoYWxmIG9mIHRoZSBPQ2FtbCBkZXZlbG9wbWVudCB0ZWFtDQo+DQo+IE9uIE1v biwgTWFyIDExLCAyMDE5IGF0IDExOjU4IEFNIE5pY29sw6FzIE9qZWRhIELDpHINCj4gPG5pY29s YXMub2plZGEuYmFyQGxleGlmaS5jb20+IHdyb3RlOg0KPiA+DQo+ID4gRGVhciBjYW1sLWxpc3Qs DQo+ID4NCj4gPiBXZSBhcmUgZ29pbmcgdG8gc3dpdGNoIHRoZSBPQ2FtbCBidWcgdHJhY2tlciBm cm9tIE1hbnRpcyB0byBHaXRIdWINCj4gPiBpc3N1ZXMgb24gVGh1cnNkYXksIE1hcmNoIDE0LiBF eGlzdGluZyBidWcgcmVwb3J0cyB3aWxsIGJlIG1pZ3JhdGVkDQo+ID4gd2l0aCB0aGUgaGVscCBv ZiBhIHNjcmlwdC4gT24gdGhpcyBkYXksIE1hbnRpcyB3aWxsIGJlIG9mZmxpbmUgYW5kIHRoZQ0K PiA+IEdpdEh1YiByZXBvc2l0b3J5IHdpbGwgYmUgcmVhZC1vbmx5IHVudGlsIHRoZSBtaWdyYXRp b24gaXMgZmluaXNoZWQuDQo+ID4NCj4gPiBBIHJlbWluZGVyIHdpbGwgYmUgc2VudCB0byB0aGlz IGxpc3Qgc2hvcnRseSBiZWZvcmUgdGhlIG1pZ3JhdGlvbi4NCj4gPg0KPiA+IElNUE9SVEFOVDog aWYgeW91IHdpc2ggdG8gaGF2ZSB0aGUgbWlncmF0ZWQgaXNzdWVzIHVzZSB5b3VyIEdpdEh1Yg0K PiA+IHVzZXIgbmFtZSBpbnN0ZWFkIG9mIHlvdXIgTWFudGlzIHVzZXIgbmFtZSwgeW91IE1VU1Qg c2VuZCBtZSBib3RoIHVzZXINCj4gPiBuYW1lcyBiZWZvcmUgTWFyY2ggMTQgc28gdGhpcyBpcyB0 YWtlbiBpbnRvIGFjY291bnQgZHVyaW5nIG1pZ3JhdGlvbi4NCj4gPiBUaGlzIG1heSBiZSBjb252 ZW5pZW50IGlmIHlvdSB3YW50IHRvIGJlIGF1dG9tYXRpY2FsbHkgc3Vic2NyaWJlZCB0bw0KPiA+ IGlzc3VlcyB5b3UgYXV0aG9yZWQgYW5kL29yIG1vbml0b3JlZCBpbiBNYW50aXMgYW5kIHlvdSBk byBub3QgYWxyZWFkeQ0KPiA+IHN1YnNjcmliZSB0byBhbGwgR2l0SHViIG5vdGlmaWNhdGlvbnMu DQo+ID4NCj4gPiBEbyBub3QgaGVzaXRhdGUgdG8gZ2V0IGJhY2sgdG8gbWUgaWYgeW91IGhhdmUg YW55IHF1ZXN0aW9ucy4NCj4gPg0KPiA+IEJlc3Qgd2lzaGVzLA0KPiA+IE5pY29sw6FzDQo+ID4g b24gYmVoYWxmIG9mIHRoZSBPQ2FtbCBkZXZlbG9wbWVudCB0ZWFtDQo=