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 752222DF6 for ; Mon, 11 Mar 2019 11:59:27 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,467,1544482800"; d="scan'208";a="372822089" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Mar 2019 12:59:26 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1BBF182581; Mon, 11 Mar 2019 12:59:26 +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 6849582581 for ; Mon, 11 Mar 2019 12:59:20 +0100 (CET) Authentication-Results: mail3-smtp-sop.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-PR2-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3AKOVJqhaJUduxh4gLSWNdccv/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrsq5bnLW6fgltlLVR4KTs6sC17OO9fi5EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCehbb9oMBm6sBjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58axlVAHnhz?= =?us-ascii?q?sGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7WYNEUSndbXstJVyJPHJ6y?= =?us-ascii?q?b5cBAeQCM+ZXrYj9qEcBoxSxHgSsGPjgxyVUinPqwaE30eIsGhzG0gw6GNIOtW?= =?us-ascii?q?zZos30NKgOVuC1yKvPzS7eZP1P2zfy9pXHfQo8qvyRWLVwa9faxE4pFwPEklqQ?= =?us-ascii?q?rojlMCmO1ugXtGib7fRvWv+1hGI9sA5+uCKvy9woiobXiYMVy17E9SRjzIkpIt?= =?us-ascii?q?24TVd2bNi5G5VesCGaMpF5QsIkQ2xwvyY11qcJuZu/fCQQz5Qn3RHfZvqaeIaL?= =?us-ascii?q?+hLuTOmcLStiiH54ZL6yhQy+/VW+xuHmS8W4zEhGojJbntXQsn0BzR/e58idRv?= =?us-ascii?q?dj4kus2iyD2x3R5+xGOUw0m7TUJp09zrM1k5cesFjPETLsl0jzgq+Za0Qp9+mt?= =?us-ascii?q?5uj6frrrqZuROop1hw7kLqshgMqyCvkiPAcURWiU4+G82aXj/ULnRLVKieU7nK?= =?us-ascii?q?nFvp3GOcgXu7e1DRVJ3Io98hq/CCyp38oCkXkAMVJFZAmIj4/0O1HIPf/0F++/?= =?us-ascii?q?g06rkDd32f/JIqHhApTKLnjFirvheqt961JYyAo0ytBf5IhYBa0GIPL2QkPxtd?= =?us-ascii?q?rYAQElMwGszOvrFM9x2p4CVW+NGKOVLb3evUWV6u4zPeWAfIoVtyz8K/gh6f7u?= =?us-ascii?q?l3g5mVoFcKmv3JsYdHe4HvB8LEWCe3bshdUBHnkXsQUkVuDlk0eNUSRIana2Qa?= =?us-ascii?q?096TA7CIynDYvZWo+th7mB0D+hHpJKfmBGFkyMEXDweoqYQfgMbSaSLtZlkjwF?= =?us-ascii?q?TrihV5Qs1QqutQ//07poNPDY+iwetZL51dh6/ffflR8o9W88M8PI6FnFG3pstm?= =?us-ascii?q?QSTT4q1aRxplw7x0rVgoZihPkNM91Y4PfASU8dN5PQxqRQh8q6DgTAddCNQU3g?= =?us-ascii?q?RderDTh3RNsr69sDc0dzGpOpiRWVjHniOKMci7HeXM98yanbxXWkYp8lky+Xhp?= =?us-ascii?q?lktEEvR450DUPjg6d+8wbJAIuQyRedmrare6Va1ynIpj7akTi++XpAWQs1ap3r?= =?us-ascii?q?GGgFbxKM/9D09kLMTvmlDrF1alIcm/7HEbNDb5jStXsDRPrnP4iBMUyLsj/pQC?= =?us-ascii?q?6ynPaLZoesfHgB1iLADkRCixoU4XuNKQk5AGGmvn7aCzttU1noZhG1/A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A0AgAGTYZch2YMayhkg1RQa3EDBAsnC?= =?us-ascii?q?oN/g0cDhS+KBYJXiipmjjoDVAwBIwmEQAIXhD4GAQQ0EgEBAwEBBwEDAQEBEwE?= =?us-ascii?q?BAQgNCQgpIwyCOikBgmYBAQEDASMRDAEBNwEECwIBCAsNAgImAgICIBAVEAIED?= =?us-ascii?q?gUIgxoBgV0DDQgBAgykDgKKFHGBL4J4AQEFhHoYgQaBBgMFgQskhFyHS4Ecg3U?= =?us-ascii?q?ugUGDGSeDCoJXiiaCJ4RthkWMJQcCg0ODSEaLOxmBaQGRUJBdiS2DNQIEAgQFA?= =?us-ascii?q?g4BAQWBXoF3cFAHKgaBWF2CIgKDVIUUhT9BMYEojEeBLgGBHgEB?= X-IPAS-Result: =?us-ascii?q?A0A0AgAGTYZch2YMayhkg1RQa3EDBAsnCoN/g0cDhS+KBYJ?= =?us-ascii?q?XiipmjjoDVAwBIwmEQAIXhD4GAQQ0EgEBAwEBBwEDAQEBEwEBAQgNCQgpIwyCO?= =?us-ascii?q?ikBgmYBAQEDASMRDAEBNwEECwIBCAsNAgImAgICIBAVEAIEDgUIgxoBgV0DDQg?= =?us-ascii?q?BAgykDgKKFHGBL4J4AQEFhHoYgQaBBgMFgQskhFyHS4Ecg3UugUGDGSeDCoJXi?= =?us-ascii?q?iaCJ4RthkWMJQcCg0ODSEaLOxmBaQGRUJBdiS2DNQIEAgQFAg4BAQWBXoF3cFA?= =?us-ascii?q?HKgaBWF2CIgKDVIUUhT9BMYEojEeBLgGBHgEB?= X-IronPort-AV: E=Sophos;i="5.58,467,1544482800"; d="scan'208";a="298795245" X-MGA-submission: =?us-ascii?q?MDGgtxkA2wSR6IOszUjLft/qrc0NJKXQMMUw89?= =?us-ascii?q?wZ927+sEmQ7XOTjDQIum8q/5ZkWE+O9TSQkUJhC6qQ4tQxBzLgNQFuVf?= =?us-ascii?q?rdYNX0lBI5m681CKp3hOiyDDvq/g7eCWg8jsZUYGLMnL3OvPPbu8cEBn?= =?us-ascii?q?avDSjyZIYaJhH0dXbDIiO6Uw=3D=3D?= Received: from mail-eopbgr120102.outbound.protection.outlook.com (HELO FRA01-PR2-obe.outbound.protection.outlook.com) ([40.107.12.102]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 11 Mar 2019 12:59: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=rXfFRgj28AhPBDzySvMoSEWa+dSeTEaxDM/O7UboNnE=; b=tvGyD4jDGHP+kQuiZsLSpqRjsNF+TUeiqhj4jgNSfJTXJtC0I2cSCj9acg6DcUWKbXnAMOoirG4XhAkI7k49vXlZKqE9EprngxC96ieqgKEhZ5UZ50+9BVf79MOrtZMDOgWuUEujX2BfEkgjmVwcnm1xiX0v2kZcCxmrTbi0SVg= Received: from PR2P264MB0493.FRAP264.PROD.OUTLOOK.COM (52.133.98.17) by PR2P264MB0397.FRAP264.PROD.OUTLOOK.COM (52.133.97.21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1686.16; Mon, 11 Mar 2019 11:59:11 +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; Mon, 11 Mar 2019 11:59:11 +0000 From: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= To: SP CC: OCaml Mailing List Thread-Topic: [Caml-list] IMPORTANT: Switching from Mantis to GitHub issues on March 14th Thread-Index: AQHU1/lrFMMZq/yGukWI5FjV1cW9oaYGRRwAgAAOkIA= Date: Mon, 11 Mar 2019 11:59:10 +0000 Message-ID: References: <6cbd94e2-d103-1874-fb62-67981c7772f3@orbitalfox.eu> In-Reply-To: <6cbd94e2-d103-1874-fb62-67981c7772f3@orbitalfox.eu> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-clientproxiedby: HE1PR05CA0191.eurprd05.prod.outlook.com (2603:10a6:3:f9::15) To PR2P264MB0493.FRAP264.PROD.OUTLOOK.COM (2603:10a6:101:4::17) x-ms-exchange-messagesentrepresentingtype: 1 x-gm-message-state: APjAAAU7o099ckECDsRNlWEaLxlxWQOHVvYKn8Eu2Rv981quGvnJX74f 5H+bV8sxAUAZUBnBpyaDGM8r3NNPKb0qMb550W8= x-google-smtp-source: APXvYqyKdjVmOiRAydRv49i6BUY2AEfdztKOHXu/WBNR5J/te8cPPSvMAUVFknOcMoG/UoJ82YEu5XYWmF2Yru/dEwc= x-received: by 2002:a2e:7f17:: with SMTP id a23mr16022371ljd.175.1552305548140; Mon, 11 Mar 2019 04:59:08 -0700 (PDT) x-gmail-original-message-id: x-originating-ip: [209.85.208.177] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 6509ecf3-bf27-4611-3ea8-08d6a618f90c x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(7021145)(8989299)(4534185)(7022145)(4603075)(4627221)(201702281549075)(8990200)(7048125)(7024125)(7027125)(7023125)(5600127)(711020)(4605104)(2017052603328)(7153060)(7193020);SRVR:PR2P264MB0397; x-ms-traffictypediagnostic: PR2P264MB0397: x-ms-exchange-purlcount: 1 x-microsoft-antispam-prvs: x-forefront-prvs: 09730BD177 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(39840400004)(136003)(346002)(366004)(396003)(376002)(189003)(199004)(26005)(99286004)(106356001)(2906002)(85202003)(229853002)(66066001)(11346002)(61266001)(14454004)(68736007)(4326008)(6436002)(6306002)(8676002)(5660300002)(86362001)(486006)(7736002)(305945005)(105586002)(81156014)(81166006)(8936002)(61726006)(4744005)(9686003)(71190400001)(71200400001)(85182001)(95326003)(25786009)(476003)(186003)(498394004)(6512007)(6246003)(53546011)(52116002)(53936002)(508600001)(6506007)(386003)(316002)(6486002)(446003)(102836004)(97736004)(55446002)(6116002)(256004)(966005)(76176011)(6862004)(3846002)(67856001);DIR:OUT;SFP:1102;SCL:1;SRVR:PR2P264MB0397;H:PR2P264MB0493.FRAP264.PROD.OUTLOOK.COM;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:3;A:1; x-microsoft-exchange-diagnostics: =?utf-8?B?MTtQUjJQMjY0TUIwMzk3OzIzOkt6YzlzTDBMTWRnUlFHMkJhc2lSN2xteTV3?= =?utf-8?B?U0hTVEdVcUZRVTFsNU1MTGJOc1Z6cCtVQitVQTlZQWJnZ1VMZzhCd2NCcGhz?= =?utf-8?B?enJ1bEJZMGxSYjdIVkM0eE0yN0hQVmdROXQ4WVdqMVNhU1g4bzVSSTcvNGhC?= =?utf-8?B?d1VEOGo5V2pWQzd0eEo0Zm1kMzV4VC9razU0dTdrL1V3V2NZVFRRb0g1MDdE?= =?utf-8?B?NUJsOEFnR3hsUkZSOXhadEQwNHhRM1Q0SG5wM25VOFNEYncrS0VyTktHV2Nn?= =?utf-8?B?dFZyTkx6UTJwWmFsQ0lGUmVWblFDSmhTVStDZ0NBeisyUlM3UmJ5eHVQdXNK?= =?utf-8?B?eWVGNFRsSFR5ck4yVjdYTXR6d3psdjUyYWczS2x3WHMwakVNRDJvUXVaMWFT?= =?utf-8?B?UmZzdUVTOXVMbmZQVjUzeUpxUEhxUTU2dmlQV0V1NW1pOE5rS09PSk1OSHZm?= =?utf-8?B?Wmw5eElzU1dobEM1SitSTXZWSzRSaVZzTDFVc3lCUHI4WW1pSlJVeEl2cGox?= =?utf-8?B?dnVUK3J5L1hzWWFKdkszWDJNZGVheU1QL1U4bGlzOXI2bEtQc204aUR2N1lC?= =?utf-8?B?eERDRXhodFJBSDU4M3JXSVRLMWM1eXlrOGs4L29KRDA4Zkx1Zko1SlpMZVN3?= =?utf-8?B?TVd0bTBmYmF0RktkTUdTcHB5dGpmRGc1MEdDWWJwN01KSHpSYnFFOXlvZ01F?= =?utf-8?B?SG91WUNqcGNhUEhQMVNvR1F5Q0lpYlFyOGNMOFhTZ0lLNDJCUEtNU29UQ3Rv?= =?utf-8?B?eGNCY0ZlMndYUVdFTzRCUGpvMDc3VXBCRStLVnEvSWs1OXVtb0ZEMW1PUVEv?= =?utf-8?B?bkFSZDVmeG9rbFlzNEdpMitUeXVLT0VZQ1kyUGFYV29zRzF0UEVtUWp0TGN2?= =?utf-8?B?endNbkdoOHBUMFFKbTBDVXBTN3lkOXhEeG9BUUIvNmxVSXNoY2pidVE1NStx?= =?utf-8?B?QzlROW14aEI4R3B1cTc3YUdFRVQ4bkJZWWdOMFhmZUt4RVdjanVJWWJzVjA3?= =?utf-8?B?c0xDQnMxUGxoKzdoVkNmMWNVZTZiMzFDeFEwK0dxMlAzWE5VTGVTbTRTaWtI?= =?utf-8?B?cnluVDBZemhHdUtFL2JWVjl2c0lLY1dydEp3Ky9ERTRoSmg4L2phY0ZEczR2?= =?utf-8?B?blRqbDg0VW9hWWhwam53VUl6eE9LWnpSb3poWjhJdEY2cS9kV2NYZXRCclBp?= =?utf-8?B?R2FMRzR3dm11UzNnUlQxOEgrWTdGemgzUDE3MElSaGxYeUNCbTVDckc1UFRT?= =?utf-8?B?YksxYXFDSXFDQTQ1OXF4SUcvMVA0OUlpWjl2NVRQOXc0b3daWkEyaDVKS2o1?= =?utf-8?B?VzYxYndKaXJhOWFDNW5tWlp5aEFsWFZRV3E5TlpRWVI3NUFpRVJHR1ZVUDRG?= =?utf-8?B?RXRvMm12MWhoQ2FDMGNJNFpVdWM2R3NQWkh6d24wWm1CQmFudnNVaC9ROE0r?= =?utf-8?B?UmdzbExqRlR6cG5WRDVFNnpxTTlDNjZ0U2djb1hsWE5hbDc1RzB5NFRwM0RI?= =?utf-8?B?bzBpc1RDL1dUazhzcVRxYi9wbjVFZnVZb0RHSmtFK21iOHZReFdLREZsZGdB?= =?utf-8?B?eEVlTThDTjFSdmxjNmV2aGZGVDhRYzVtYlFDWUFhbjVBRmhzL3hNWXF0ak1n?= =?utf-8?B?SXFUV2pJMjR4emgzRzFqQk0zSUk5elJ6eExkeFFqTkFDZnZVZG9PTndwU0t4?= =?utf-8?B?cU50M1RHU1RBamFFSHlMUlNQTHlGaWVucjNNaHQyVENralVFdkwvMlZEUTR4?= =?utf-8?B?ZHdtbGhKMERSRnV6L09BZWZDU3dvU2c4blpHZDJJU3VQOEtVOGVMalNvODd0?= =?utf-8?B?UGlualpoc3VhS0VTZVJ1Q1NJZ25wN2Qva1pVZmYvSk5wWXN2ZjEyZkN6Z056?= =?utf-8?B?aG5ZOVAvZFZKUERoTVM5UFN2MW1hckt2bEdRd2hTekQrVGxoNTQyNTJMTUlo?= =?utf-8?B?TTdZYjllRFF3PT0=?= x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: B7o5kUnCwjCe211z6kw1y8xKTuHWcc7wZ/99gW43hW0iz7y8CZGc2Vx1oOipq+lf1wPpEMbYCyf842TX1lzsSzQFWrXaDDCAcClhnmNI63+ITeyRoP/7nrwsva1FyKBdMaFkK0XaCg9MFdUUZ5KK1DsvPU77v0WUpLNrUsrKP9X1xKHU65+74T+RATG9j+V3Cbh16i8Km9o3TuYFQ3mN9XePYJpacxd6kXJhz0Hd2k2KgVbXmUawecJMZvUDpnYH46ir4PHHin9+yeQO3sYWVHR0S1yyXeQU6xjcp1cpKP9hEzeGBoeDpunhHQrDRcQ6DSW+RMxiGb4NtL/Ak6PGKYAzEdkPUy+avId4HgFnur1UjtQrhUOUaKWbzkwokchbV+09GMgjcjryv1dCyRr1fKcLkq02BAnl0l88cP6Kef8= Content-Type: text/plain; charset="utf-8" Content-ID: <5E3252AE31BEA846AEDF40AD9A9DCC92@FRAP264.PROD.OUTLOOK.COM> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-Network-Message-Id: 6509ecf3-bf27-4611-3ea8-08d6a618f90c X-MS-Exchange-CrossTenant-originalarrivaltime: 11 Mar 2019 11:59:11.0141 (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: PR2P264MB0397 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: 17396 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: SGVsbG8sDQoNCk9uIE1vbiwgTWFyIDExLCAyMDE5IGF0IDEyOjA3IFBNIFNQIDxzcEBvcmJpdGFs Zm94LmV1PiB3cm90ZToNCj4NCj4gSXMgaXQgcG9zc2libGUgdG8gdXNlIGEgZGlmZmVyZW50IHBs YXRmb3JtLCBub3QgR2l0aHViPw0KDQpHaXZlbiBvdXIgbGltaXRlZCByZXNvdXJjZXMgYW5kIHRo YXQgT0NhbWwgaXRzZWxmIGlzIGFscmVhZHkgaG9zdGVkIG9uDQpHaXRIdWIsIGl0IGRpZG4ndCBt YWtlIG11Y2ggc2Vuc2UgdG8gY29uc2lkZXIgc29tZXRoaW5nIGVsc2UuDQoNClNvcnJ5IQ0KDQpC ZXN0IHdpc2hlcywNCk5pY29sw6FzDQoNCg0KDQoNCg0KDQoNCj4gQSBkaXNjdXNzaW9uIG9uIHRo ZSBpc3N1ZTogaHR0cHM6Ly9kaXNjdXNzLm9jYW1sLm9yZy90L3B1Ymxpc2hpbmctd2l0aG91dC1n aXRodWINCg==