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, T_SCC_BODY_TEXT_LINE 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 3DA2529B07 for ; Mon, 29 Jan 2024 22:43:02 +0100 (CET) Content-Type: multipart/mixed; boundary="===============0364490191641370401==" MIME-Version: 1.0 Subject: =?utf8?q?=5BPR_PATCH=5D_ocaml=3A_update_to_5=2E1=2E1?= To: ml@inbox.vuxu.org From: MIvanchev Reply-to: ml@inbox.vuxu.org Message-ID: Date: Mon, 29 Jan 2024 22:43:02 +0100 List-Id: GitHub notification mails are now in MIME to allow UTF8. --===============0364490191641370401== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYSBuZXcgcHVsbCByZXF1ZXN0IGJ5IE1JdmFuY2hldiBhZ2FpbnN0IG1hc3RlciBv biB0aGUgdm9pZC1wYWNrYWdlcyByZXBvc2l0b3J5CgpodHRwczovL2dpdGh1Yi5jb20vTUl2YW5j aGV2L3ZvaWQtcGFja2FnZXMgb2NhbWwKaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9p ZC1wYWNrYWdlcy9wdWxsLzQ4NDMwCgpvY2FtbDogdXBkYXRlIHRvIDUuMS4xCiMjIyMgVGVzdGlu ZyB0aGUgY2hhbmdlcw0KLSBJIHRlc3RlZCB0aGUgY2hhbmdlcyBpbiB0aGlzIFBSOiAqKk5PKioK CkEgcGF0Y2ggZmlsZSBmcm9tIGh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4L3ZvaWQtcGFj a2FnZXMvcHVsbC80ODQzMC5wYXRjaCBpcyBhdHRhY2hlZA== --===============0364490191641370401== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-ocaml-48430.patch" RnJvbSA0MGZkMTViMTllMzA4OWNhYTQ2NzE4ZDI4MTlkNDhjYzVmMzRmODM3IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBNaWhhaWwgSXZhbmNoZXYgPGNvbnRhY3RAaXZhbmNoZXYubmV0 PgpEYXRlOiBNb24sIDI5IEphbiAyMDI0IDIyOjQzOjIwICswMTAwClN1YmplY3Q6IFtQQVRDSF0g b2NhbWw6IHVwZGF0ZSB0byA1LjEuMQoKLS0tCiBzcmNwa2dzL29jYW1sL3RlbXBsYXRlIHwgMTkg KysrKysrLS0tLS0tLS0tLS0tLQogMSBmaWxlIGNoYW5nZWQsIDYgaW5zZXJ0aW9ucygrKSwgMTMg ZGVsZXRpb25zKC0pCgpkaWZmIC0tZ2l0IGEvc3JjcGtncy9vY2FtbC90ZW1wbGF0ZSBiL3NyY3Br Z3Mvb2NhbWwvdGVtcGxhdGUKaW5kZXggZjQ0YjBiODM5NDFhMi4uNzE4NDRkODY5YTMwMSAxMDA2 NDQKLS0tIGEvc3JjcGtncy9vY2FtbC90ZW1wbGF0ZQorKysgYi9zcmNwa2dzL29jYW1sL3RlbXBs YXRlCkBAIC0xLDI2ICsxLDE5IEBACiAjIFRlbXBsYXRlIGZpbGUgZm9yICdvY2FtbCcKIHBrZ25h bWU9b2NhbWwKLXZlcnNpb249NC4xNC4wCi1yZXZpc2lvbj0yCit2ZXJzaW9uPTUuMS4xCityZXZp c2lvbj0xCiBidWlsZF9zdHlsZT0iZ251LWNvbmZpZ3VyZSIKLWNvbmZpZ3VyZV9hcmdzPSItLXdp dGgtcGljIC0tbGliZGlyPS91c3IvbGliL29jYW1sIgorY29uZmlndXJlX2FyZ3M9Ii0tZW5hYmxl LWZyYW1lLXBvaW50ZXJzIgogbWFrZV9idWlsZF90YXJnZXQ9IndvcmxkLm9wdCIKLW1ha2VkZXBl bmRzPSJuY3Vyc2VzLWRldmVsIGxpYlgxMS1kZXZlbCIKK21ha2VkZXBlbmRzPSJuY3Vyc2VzLWRl dmVsIgogc2hvcnRfZGVzYz0iTWFpbiBpbXBsZW1lbnRhdGlvbiBvZiB0aGUgQ2FtbCBsYW5ndWFn ZSIKLW1haW50YWluZXI9IkxlYWggTmV1a2lyY2hlbiA8bGVhaEB2dXh1Lm9yZz4iCittYWludGFp bmVyPSJNaWhhaWwgSXZhbmNoZXYgPGNvbnRhY3RAaXZhbmNoZXYubmV0PiIKIGxpY2Vuc2U9IlFQ TC0xLjAsIExHUEwtMi4xLW9ubHkiCiBob21lcGFnZT0iaHR0cDovL29jYW1sLm9yZy8iCiBkaXN0 ZmlsZXM9Imh0dHBzOi8vZ2l0aHViLmNvbS8ke3BrZ25hbWV9LyR7cGtnbmFtZX0vYXJjaGl2ZS8k e3ZlcnNpb259LnRhci5neiIKLWNoZWNrc3VtPTM5ZjQ0MjYwMzgyZjI4ZDEwNTRjNWY5ZDhiZjQ3 NTNjYjdhZDY0MDI3ZGE3OTJmNzkzODM0NDU0NGRhMTU1ZTgKK2NoZWNrc3VtPTU3ZjdiMzgyYjNk NzExOTg0MTNlZGU0MDVkOTVlZjM1MDZmMWNkYzQ4MGNkYTFkY2ExZTI2YjM3Y2IwOTBlMTcKIG5v Y3Jvc3M9eWVzCiAKLWV4cG9ydCBBU1BQPSJjYyAtYyIKLQotY2FzZSAiJFhCUFNfVEFSR0VUX01B Q0hJTkUiIGluCi0JIyBhbHNvIGp1c3Qgc2VnZmF1bHRzIHdoZW4gY29tcGlsZWQgd2l0aG91dCBQ SUUgKEJTUy1QTFQ/KQotCXBwYy1tdXNsKSBicm9rZW49Ii91c3IvYmluL29jYW1sYzogdW5zdXBw b3J0ZWQgcmVsb2NhdGlvbiB0eXBlIDYiOzsKLWVzYWMKLQogcG9zdF9pbnN0YWxsKCkgewogCXZs aWNlbnNlIExJQ0VOU0UKIH0K --===============0364490191641370401==--