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 DE1F92DF6 for ; Mon, 11 Mar 2019 10:59:11 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,467,1544482800"; d="scan'208";a="372806812" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Mar 2019 11:59:08 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 712E58264D; Mon, 11 Mar 2019 11:59:08 +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 84DD982581 for ; Mon, 11 Mar 2019 11:58:57 +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-MR2-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3An7cf/BK9cmWdXb1iy9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgfKfvxwZ3uMQTl6Ol3ixeRBMOHsqoC07OempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffhlEiCChbb9vMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJBUMhPSiJBHo2y?= =?us-ascii?q?YYgOD+UdMuhXoJLwp0cVohakGQWgGP/jxz1Oi3Tr3aM6yeMhEQTe0QI4HtIBrH?= =?us-ascii?q?PUrNH3M6cJTOu71avIwiveYPxMxDzw9Y3Pcgo8qvyLW7JwcNbeyU4rFwzflVWc?= =?us-ascii?q?s4vlPzGL2esQqWeX9fFvWvi1i2M8rwF+vDeuxsYiionInI4a1lfE9SBgzYszON?= =?us-ascii?q?a2S1Z7bMarHZdMrS2WKpd6T8E4T2xsoio217MLtJGjcCQU1JgqwwTTZv+HfoSS?= =?us-ascii?q?/B7vSOWcLS1liH9ndr+znxiy/lajx+HgU8S51VdHojZYndbWs30N2QHc58mGR/?= =?us-ascii?q?Z440uuxTmC2gTW5+xFO087ibDUJpg8ybAqjJUTq17MHirulUX2kqCWckIk9/Co?= =?us-ascii?q?5er7frjquoKQO5ZzhA/iLKgig8u/Dv8mPQQUWGib5Pi826bk/U3kRrVFk+c6kr?= =?us-ascii?q?HDsJDdOcQUuLK2AxNU0oYk7RazFTCm0MkEnXkDK1JFfxGHg5L1NFHJJfD0Ffa/?= =?us-ascii?q?g1Kynzd33/3LMaHtDo/QInTfkrrtZ7Jw51RBxAc9wt1T/5dUBasAIPL3VE/xrt?= =?us-ascii?q?vYDhohPgyywuboFNJ91ocEVmKUGKOZN6HSvkGV6e01OeWDf5UauCzmJvgh+fHv?= =?us-ascii?q?gn45mVEcfaWzwZQXb3W4Eux8I0qFeXrsnssBEWASswUiVuPqjVmCXSdXZ3azRK?= =?us-ascii?q?I8+io2CJmmDIfGXoCimqaN3Ca9Hp1MZ2BJEEqAEXnyd9bMZ/BZTwmbJ8sptzUF?= =?us-ascii?q?UbmnRMcF1Aqy/Fvxwr9ja+7V4TEwtJT51dEz6feFxj8o8jkhKcWW1GUEVClTnG?= =?us-ascii?q?4ETnccULo39Up8wVCH2LM+hP5VGdUV7fpTegM3JZ/SzqpxDNWkCVGJRcuAVFvz?= =?us-ascii?q?GobuOjo2VN9khoZWOx8sSeXntQjK2m+RO5FQkrWKAJIu9aeFhSr1KtZ8xXeA36?= =?us-ascii?q?4k3QB/Hpl/cFa+j6s6zDD9QpbTmhzDxaKnZaUS3WjG82LRlTPT7nEdaxZ5VOD+?= =?us-ascii?q?ZV5aZkbSqoimtG34Zuf3TJEdaE5Gw8PELbZWYNr0i1kAXO3kJNnVf2O2nSG3GA?= =?us-ascii?q?qMwbSPKoHtfjdE0Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AhCAAXP4Zch4YJayhkHAEBAR8EAQEFA?= =?us-ascii?q?QGBToEoE1CBXAMECycKg3+DRwOFL4oFjQFmjSqBEANUDAEshFmEPgYBBDQSAQE?= =?us-ascii?q?DAQEHAQMBAQETAQEBCA0JCCkjDII6KQGDEBEMAQE4EQETDwIICQEDAQEPAgQgE?= =?us-ascii?q?BUSBIM1gV4DFQECpBoCihRxgS+CeAEBBYR6GIEGgQYIgQskAQEBAQGMIoEcgRG?= =?us-ascii?q?CZIFvgnsNdwkOBASCLIJXikmCBIQmR5JqBwKDQ49JGYF5iS+IEQGaCoM1AgQCB?= =?us-ascii?q?AUCDgEBBYFegXdwUAcqBoFYXYIiAoNUilNBMYEojFaBHwGBHgEB?= X-IPAS-Result: =?us-ascii?q?A0AhCAAXP4Zch4YJayhkHAEBAR8EAQEFAQGBToEoE1CBXAM?= =?us-ascii?q?ECycKg3+DRwOFL4oFjQFmjSqBEANUDAEshFmEPgYBBDQSAQEDAQEHAQMBAQETA?= =?us-ascii?q?QEBCA0JCCkjDII6KQGDEBEMAQE4EQETDwIICQEDAQEPAgQgEBUSBIM1gV4DFQE?= =?us-ascii?q?CpBoCihRxgS+CeAEBBYR6GIEGgQYIgQskAQEBAQGMIoEcgRGCZIFvgnsNdwkOB?= =?us-ascii?q?ASCLIJXikmCBIQmR5JqBwKDQ49JGYF5iS+IEQGaCoM1AgQCBAUCDgEBBYFegXd?= =?us-ascii?q?wUAcqBoFYXYIiAoNUilNBMYEojFaBHwGBHgEB?= X-IronPort-AV: E=Sophos;i="5.58,467,1544482800"; d="scan'208";a="298786318" X-MGA-submission: =?us-ascii?q?MDE0GU4l/XYR8tuAVLhC/ZmAkSq1C3aKdhmUgh?= =?us-ascii?q?RylERQmcI8sesyWhiFW31lAww/vnFRhLhnYIBTfTRCTkP2R2zEiJnasu?= =?us-ascii?q?Roxul4X7gH9HPr6+1DUK77npGU7o8avB3SI64Kf8q/JvAr0qifyXy7ss?= =?us-ascii?q?vNm1wGCjcUgMObHDHmihu5jQ=3D=3D?= Received: from mail-eopbgr90134.outbound.protection.outlook.com (HELO FRA01-MR2-obe.outbound.protection.outlook.com) ([40.107.9.134]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 11 Mar 2019 11:58:56 +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=+36fPyaDYwrNxOgpQZJkZCFXlTb7MmSCj8fho0bng+g=; b=pJvdiLNM4vsn9JCJG6he8uu8Hcy3yU2lKfBtEH2LXMZWfRQLO7Th7ZymA4kr85pDNzlcrRupU21vpPcsTTbTIYflnoj+Wum3/kY/+5tem7mu2bDsD1xsTD0pdMpuo6KubajXa/s4nOxXmvlsQLO+M4snzHCtXhiP/6Kl2H6wObw= Received: from PR2P264MB0493.FRAP264.PROD.OUTLOOK.COM (52.133.98.17) by PR2P264MB0335.FRAP264.PROD.OUTLOOK.COM (52.133.104.139) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1686.18; Mon, 11 Mar 2019 10:58:55 +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 10:58:55 +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/yGukWI5FjV1cW9oQ== Date: Mon, 11 Mar 2019 10:58:55 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-clientproxiedby: HE1PR05CA0293.eurprd05.prod.outlook.com (2603:10a6:7:93::24) To PR2P264MB0493.FRAP264.PROD.OUTLOOK.COM (2603:10a6:101:4::17) x-ms-exchange-messagesentrepresentingtype: 1 x-gm-message-state: APjAAAUtZr8d5dokg4JTelHaJEGUYOv5CEdtrzgSS/uf2zkyiCVAW6Rh ehzo3l1WymD8xTEDQQADzfKTxWSDp8TzISyIjdE= x-google-smtp-source: APXvYqzL/mYKo9NRi68Asy1gLa7OLkVgVJ3jCkHFMVosoH4iCcdoc1Yt/NGnWSaVgUsH39pQJkorlGBrDPJZPfvDGiw= x-received: by 2002:a2e:7f17:: with SMTP id a23mr15867170ljd.175.1552301931531; Mon, 11 Mar 2019 03:58:51 -0700 (PDT) x-gmail-original-message-id: x-originating-ip: [209.85.208.173] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 6eae9309-4ff6-4eba-e34b-08d6a6108d92 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:PR2P264MB0335; x-ms-traffictypediagnostic: PR2P264MB0335: x-microsoft-antispam-prvs: x-forefront-prvs: 09730BD177 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(39840400004)(396003)(136003)(346002)(376002)(366004)(189003)(199004)(8676002)(81166006)(81156014)(14454004)(8936002)(6916009)(2906002)(4744005)(85182001)(71200400001)(66574012)(71190400001)(25786009)(3846002)(6116002)(5660300002)(305945005)(105586002)(106356001)(85202003)(7736002)(186003)(55446002)(476003)(508600001)(99286004)(386003)(6506007)(52116002)(26005)(61726006)(66066001)(102836004)(6436002)(95326003)(316002)(61266001)(6486002)(256004)(14444005)(53936002)(498394004)(9686003)(6512007)(97736004)(486006)(413944005)(68736007)(86362001)(98316002);DIR:OUT;SFP:1102;SCL:1;SRVR:PR2P264MB0335;H:PR2P264MB0493.FRAP264.PROD.OUTLOOK.COM;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:1;A:1; x-microsoft-exchange-diagnostics: =?utf-8?B?MTtQUjJQMjY0TUIwMzM1OzIzOlVwQ3NaZ0p4M2RERXBDemcxei85NG01Ymsr?= =?utf-8?B?RjlTWWZJRms4WEhVYmN2UmhZeEp1Tmdhby9xWVpNY1hJRmZTNFlhL1FBT1Jr?= =?utf-8?B?NWM1aEhiZCtWQ0oyNDJyT3p1TVVLQnhPSUhuNm5ndDR6aUVoWVVGVTRqSTlC?= =?utf-8?B?akhXOUlmVmZCMHAwR1F4M3RwVG50M1NLcVFrMGFyRGNHbHVoUXNGOXBNTEhV?= =?utf-8?B?OWRJSU8zbWJPRkZwYlFURTNvMmg3WkNreDh6bDBzUVJYS2UvYVU4K0ZJTVV4?= =?utf-8?B?alpJbWpBWEFRN1NIdUxXQTVKOHJUWjBPZnNyWVc2aTNiWXUvSExFRkhna1cv?= =?utf-8?B?bTBMZ0t2L0pyU1c0Kzd5aHg0UTM1YUhGbVExQVE5SkhNZDdGSWI1Q0tNMjRP?= =?utf-8?B?akpYT1FIZWVlTUQxL01iSkx1VjNrd2U5Y2RNT1dHTmlkYkJ0Rk1xbVoyaDdY?= =?utf-8?B?WGI5V2JkcGlxdzRTek8yb0wxQTdtclFPdEU4eklIb09HdkZHM2NlZmVSZ2JU?= =?utf-8?B?VlhHcm1TdnlXSDd2NEhxZnRJQmhrdll3OHpleU8rYnZlQmZBdG5Bb2d2dkpm?= =?utf-8?B?MU5DRXQ5ejJTdDgzeW5kRU1TZVRLUjcvUTFjWnY3TjBrdVJjUStyZ1N3TlZV?= =?utf-8?B?M0tZeGQ5NDVKYUM1TVFncURLcUZyUENjYTZocVQybnFrUzM4aTZsSWZwR2lR?= =?utf-8?B?ZkNWZTRIR1BQc1dtS1g5cGpRZTRheUpoRlJHaW8rRm1WWFplN2RFRVdIQmxB?= =?utf-8?B?bUdEMzVyRkVQcHYrMzdldHRQc0VCUjVPbjRnTW1kaUhVMURDaFJTZ1ZrWWtF?= =?utf-8?B?d21reXozYmVSUmRuQzFzVzRlc0krSVF5M1RMQlFLblRuaGp4ZFRuS1VDNXQ1?= =?utf-8?B?a2xvSVNxcmliM3Z6eXBMdkhKaXM2c2RUMkxrc2N3SkdibHV0Mm95ZmQ2S3JG?= =?utf-8?B?NXNsVDNsNDlHTTRxT0pVOXdRVTFZblVxdmxXcTRLTUpWMVY4dUVjSXY1V1Nk?= =?utf-8?B?UWxzRHo5WUJQalVvSHBHRWVQMy9XVUplK0RwRUdBZWlyY09RRUpUaEZoWXho?= =?utf-8?B?UVRqcXFGYzFiQnVzNjJtUGJseHFGYkJKK01EVm1SWU5sRmkxNzlFZXgzUE9p?= =?utf-8?B?ajRTOW4rdmtRZVR2SDBBbHFFMTZOR0VxZUpuUGlMNitVRWZ1NFdRUUQ4ejBC?= =?utf-8?B?QUkydzJNT3RaMER2TW8wbTdYZ1JuOTZrWm95SXB1Sk5PRk9OSURIZDlaSWh5?= =?utf-8?B?U2pVK2ZPTk95QmlmMHoxeWxnQ2NBa1Y2c0VTQ3dGTnRKaDBCNEJZSWFqK0VK?= =?utf-8?B?M2gzWkRlZ1QwcDFqREtBdElmdzRlMTB6bFZJLzRsRG4va1EyRk9yYUx0TC9P?= =?utf-8?B?RkZHM3ZmeDlyT0RVdWR1SDVJK0VQT0h1NUQrMFVWMm5uS1ZLWlZ1ZVJ5WThs?= =?utf-8?B?WmlwSUVibnBDNkFXdWRjQ1RjYnlYT3h4VHU5Ymk2NVpBVmNVYzBiY3FOQUpv?= =?utf-8?B?aEdtWFI4anB5eC9VYVU0Q1VGeEMxL0pUSUlDSC9UZ2VDWVQyNEJCdGgrRDho?= =?utf-8?B?VCtma0dhbENwQndCeTZabTlFWTVTdUxtN1BaeXZOMHhHd3Nibk55WjhDMHZp?= =?utf-8?B?TDMzK1RxUzdMRUpEL0hVbDBOSHZwOXJGbXBCWmNiamxxZU1RS2VQTzYrOWNG?= =?utf-8?B?dDIyZ1FXdWMvNXkxbXhLKzFra2Y1aHJlSGEzQWlCOHRqWExFOFNNbHNSOFUx?= =?utf-8?Q?E7uWxgZFOtUkdKMRSNccuvfOPymtKNMUK+PJk=3D?= x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: zq0rxD+voPjE2MMuVH8NtosZYyfzL0W3oEXLU2YPOAMefbKiZHgDiTzC3aA2yWsjnRH7FgGfq4tCLnonczyddIH2+jyb3+TTNiFm3QVwKtWAxvQKXej3z9kt61+eYHuecFpdxnltbZMTQ34sC4C4lfTkFxkyY4bdwBiy71JHMm5eLCetSEVCtGlcu4iJiXl7YjLAU+TSJE+WhW6VTmA6pK8DDGCNWFb4jjtiRJEuUtayWR/DH3t98cPXToWRKFivzSQ8uYLu1mTPM7hJka3mAETBpNeCznRzAWPdAo/FBLPaEzGOLZW1uVP3KXBCOfym0dwFIgeNe9C/Qp4MShHnXG1tNacZBbRzh+K7xlNE7T4EJVKGJgo6F3/ntoLg2pF3J0pWxl1qWBsQKJJmBQ3sagoqX/Np60wdyQ0PPhUKjrw= Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-Network-Message-Id: 6eae9309-4ff6-4eba-e34b-08d6a6108d92 X-MS-Exchange-CrossTenant-originalarrivaltime: 11 Mar 2019 10:58:55.0639 (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: PR2P264MB0335 Subject: [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: 17393 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: RGVhciBjYW1sLWxpc3QsDQoNCldlIGFyZSBnb2luZyB0byBzd2l0Y2ggdGhlIE9DYW1sIGJ1ZyB0 cmFja2VyIGZyb20gTWFudGlzIHRvIEdpdEh1Yg0KaXNzdWVzIG9uIFRodXJzZGF5LCBNYXJjaCAx NC4gRXhpc3RpbmcgYnVnIHJlcG9ydHMgd2lsbCBiZSBtaWdyYXRlZA0Kd2l0aCB0aGUgaGVscCBv ZiBhIHNjcmlwdC4gT24gdGhpcyBkYXksIE1hbnRpcyB3aWxsIGJlIG9mZmxpbmUgYW5kIHRoZQ0K R2l0SHViIHJlcG9zaXRvcnkgd2lsbCBiZSByZWFkLW9ubHkgdW50aWwgdGhlIG1pZ3JhdGlvbiBp cyBmaW5pc2hlZC4NCg0KQSByZW1pbmRlciB3aWxsIGJlIHNlbnQgdG8gdGhpcyBsaXN0IHNob3J0 bHkgYmVmb3JlIHRoZSBtaWdyYXRpb24uDQoNCklNUE9SVEFOVDogaWYgeW91IHdpc2ggdG8gaGF2 ZSB0aGUgbWlncmF0ZWQgaXNzdWVzIHVzZSB5b3VyIEdpdEh1Yg0KdXNlciBuYW1lIGluc3RlYWQg b2YgeW91ciBNYW50aXMgdXNlciBuYW1lLCB5b3UgTVVTVCBzZW5kIG1lIGJvdGggdXNlcg0KbmFt ZXMgYmVmb3JlIE1hcmNoIDE0IHNvIHRoaXMgaXMgdGFrZW4gaW50byBhY2NvdW50IGR1cmluZyBt aWdyYXRpb24uDQpUaGlzIG1heSBiZSBjb252ZW5pZW50IGlmIHlvdSB3YW50IHRvIGJlIGF1dG9t YXRpY2FsbHkgc3Vic2NyaWJlZCB0bw0KaXNzdWVzIHlvdSBhdXRob3JlZCBhbmQvb3IgbW9uaXRv cmVkIGluIE1hbnRpcyBhbmQgeW91IGRvIG5vdCBhbHJlYWR5DQpzdWJzY3JpYmUgdG8gYWxsIEdp dEh1YiBub3RpZmljYXRpb25zLg0KDQpEbyBub3QgaGVzaXRhdGUgdG8gZ2V0IGJhY2sgdG8gbWUg aWYgeW91IGhhdmUgYW55IHF1ZXN0aW9ucy4NCg0KQmVzdCB3aXNoZXMsDQpOaWNvbMOhcw0Kb24g YmVoYWxmIG9mIHRoZSBPQ2FtbCBkZXZlbG9wbWVudCB0ZWFtDQo=