From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=ALL_TRUSTED autolearn=ham autolearn_force=no version=3.4.4 Received: from inbox.vuxu.org (inbox.vuxu.org [IPv6:::1]) by inbox.vuxu.org (Postfix) with ESMTP id C3148266B1 for ; Fri, 17 May 2024 15:12:49 +0200 (CEST) Content-Type: multipart/mixed; boundary="===============0171482272578714983==" MIME-Version: 1.0 Subject: =?utf8?q?=5BPR_PATCH=5D_ocaml=3A_update_to_5=2E2=2E0?= To: ml@inbox.vuxu.org From: kit-ty-kate Reply-to: ml@inbox.vuxu.org Message-ID: Date: Fri, 17 May 2024 15:12:49 +0200 List-Id: GitHub notification mails are now in MIME to allow UTF8. --===============0171482272578714983== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYSBuZXcgcHVsbCByZXF1ZXN0IGJ5IGtpdC10eS1rYXRlIGFnYWluc3QgbWFzdGVy IG9uIHRoZSB2b2lkLXBhY2thZ2VzIHJlcG9zaXRvcnkKCmh0dHBzOi8vZ2l0aHViLmNvbS9raXQt dHkta2F0ZS92b2lkLXBhY2thZ2VzIHBhdGNoLTIKaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGlu dXgvdm9pZC1wYWNrYWdlcy9wdWxsLzUwMzg0CgpvY2FtbDogdXBkYXRlIHRvIDUuMi4wCiMjIyMg VGVzdGluZyB0aGUgY2hhbmdlcw0KLSBJIHRlc3RlZCB0aGUgY2hhbmdlcyBpbiB0aGlzIFBSOiAq Kk5PKioNCg0KY2MgQGxlYWhuZXVraXJjaGVuIAoKQSBwYXRjaCBmaWxlIGZyb20gaHR0cHM6Ly9n aXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9wdWxsLzUwMzg0LnBhdGNoIGlzIGF0 dGFjaGVk --===============0171482272578714983== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-patch-2-50384.patch" RnJvbSAzOThiYWQ1ZGFlNzMwYWFmZDkwZTRkZmQ4YjRlNWJhYmUxZWFjYjA0IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBLYXRlIDxraXQtdHkta2F0ZUBvdXRsb29rLmNvbT4KRGF0ZTog RnJpLCAxNyBNYXkgMjAyNCAxNDoxMjowOCArMDEwMApTdWJqZWN0OiBbUEFUQ0hdIG9jYW1sOiB1 cGRhdGUgdG8gNS4yLjAKCi0tLQogc3JjcGtncy9vY2FtbC90ZW1wbGF0ZSB8IDEyICsrKy0tLS0t LS0tLQogMSBmaWxlIGNoYW5nZWQsIDMgaW5zZXJ0aW9ucygrKSwgOSBkZWxldGlvbnMoLSkKCmRp ZmYgLS1naXQgYS9zcmNwa2dzL29jYW1sL3RlbXBsYXRlIGIvc3JjcGtncy9vY2FtbC90ZW1wbGF0 ZQppbmRleCA1ODViY2EzZjFjYWUzNS4uM2RjM2RlNDE4ZjRkNzAgMTAwNjQ0Ci0tLSBhL3NyY3Br Z3Mvb2NhbWwvdGVtcGxhdGUKKysrIGIvc3JjcGtncy9vY2FtbC90ZW1wbGF0ZQpAQCAtMSw2ICsx LDYgQEAKICMgVGVtcGxhdGUgZmlsZSBmb3IgJ29jYW1sJwogcGtnbmFtZT1vY2FtbAotdmVyc2lv bj01LjEuMQordmVyc2lvbj01LjIuMAogcmV2aXNpb249MQogYnVpbGRfc3R5bGU9ImdudS1jb25m aWd1cmUiCiBjb25maWd1cmVfYXJncz0iLS13aXRoLXBpYyAtLWxpYmRpcj0vdXNyL2xpYi9vY2Ft bCIKQEAgLTEwLDE2ICsxMCwxMCBAQCBzaG9ydF9kZXNjPSJNYWluIGltcGxlbWVudGF0aW9uIG9m IHRoZSBPQ2FtbCBsYW5ndWFnZSIKIG1haW50YWluZXI9IkxlYWggTmV1a2lyY2hlbiA8bGVhaEB2 dXh1Lm9yZz4iCiBsaWNlbnNlPSJRUEwtMS4wLCBMR1BMLTIuMS1vbmx5IgogaG9tZXBhZ2U9Imh0 dHA6Ly9vY2FtbC5vcmcvIgotZGlzdGZpbGVzPSJodHRwczovL2dpdGh1Yi5jb20vb2NhbWwvb2Nh bWwvYXJjaGl2ZS8ke3ZlcnNpb259LnRhci5neiIKLWNoZWNrc3VtPTU3ZjdiMzgyYjNkNzExOTg0 MTNlZGU0MDVkOTVlZjM1MDZmMWNkYzQ4MGNkYTFkY2ExZTI2YjM3Y2IwOTBlMTcKK2Rpc3RmaWxl cz0iaHR0cHM6Ly9naXRodWIuY29tL29jYW1sL29jYW1sL2FyY2hpdmUvcmVmcy90YWdzLyR7dmVy c2lvbn0udGFyLmd6IgorY2hlY2tzdW09NDg1NTRhYmZkNTMwZmNkYWEwOGYyM2Y4MDFiNjk5ZTRm NzRjMzIwZGRmN2QwYmQ1NmIwZThjMjRlNTVmYzkxMQogbm9jcm9zcz15ZXMKIAotY2FzZSAiJFhC UFNfVEFSR0VUX01BQ0hJTkUiIGluCi0JIyBuYXRpdmUgY29kZSBwbGF0Zm9ybXMKLQl4ODZfNjQq fGFhcmNoNjQqfHJpc2N2NjQqKSBtYWtlX2J1aWxkX3RhcmdldD0id29ybGQub3B0Ijs7Ci0JKikg bWFrZV9idWlsZF90YXJnZXQ9IndvcmxkIjs7Ci1lc2FjCi0KIGV4cG9ydCBBU1BQPSJjYyAtYyIK IAogcG9zdF9pbnN0YWxsKCkgewo= --===============0171482272578714983==--