From mboxrd@z Thu Jan 1 00:00:00 1970 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: (qmail 19183 invoked from network); 24 Jun 2023 22:59:38 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 24 Jun 2023 22:59:38 -0000 Content-Type: multipart/mixed; boundary="===============4753751601496137890==" MIME-Version: 1.0 Subject: =?utf8?q?=5BPR_PATCH=5D_New_Package=3A_mlton-20210117?= To: ml@inbox.vuxu.org From: CabrioletDiskette Reply-to: ml@inbox.vuxu.org Message-ID: Date: Sun, 25 Jun 2023 00:59:37 +0200 List-Id: GitHub notification mails are now in MIME to allow UTF8. --===============4753751601496137890== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYSBuZXcgcHVsbCByZXF1ZXN0IGJ5IENhYnJpb2xldERpc2tldHRlIGFnYWluc3Qg bWFzdGVyIG9uIHRoZSB2b2lkLXBhY2thZ2VzIHJlcG9zaXRvcnkKCmh0dHBzOi8vZ2l0aHViLmNv bS9DYWJyaW9sZXREaXNrZXR0ZS92b2lkLXBhY2thZ2VzIG1sdG9uCmh0dHBzOi8vZ2l0aHViLmNv bS92b2lkLWxpbnV4L3ZvaWQtcGFja2FnZXMvcHVsbC80NDYyMQoKTmV3IFBhY2thZ2U6IG1sdG9u LTIwMjEwMTE3CiMjIyMgVGVzdGluZyB0aGUgY2hhbmdlcw0KLSBJIHRlc3RlZCB0aGUgY2hhbmdl cyBpbiB0aGlzIFBSOiAqKllFUyoqfA0KDQoNCiMjIyMgTmV3IHBhY2thZ2UNCi0gVGhpcyBuZXcg cGFja2FnZSBjb25mb3JtcyB0byB0aGUgW3BhY2thZ2UgcmVxdWlyZW1lbnRzXShodHRwczovL2dp dGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2thZ2VzL2Jsb2IvbWFzdGVyL0NPTlRSSUJVVElO Ry5tZCNwYWNrYWdlLXJlcXVpcmVtZW50cyk6ICoqWUVTKioNCg0KIyMjIyBMb2NhbCBidWlsZCB0 ZXN0aW5nDQotIEkgYnVpbHQgdGhpcyBQUiBsb2NhbGx5IGZvciBteSBuYXRpdmUgYXJjaGl0ZWN0 dXJlLCB4ODZfNjQNCg0KTUFKT1IgTk9URTogU2ltaWxhciB0byBvcGVuamRrIG1sdG9uIG5lZWRz IHRvIGJlIGJ1aWx0IHdpdGggYSBiaW5hcnkgb2YgaXRzZWxmLiBUaGVzZSBiaW5hcmllcyBhcmUg b25seSBhdmFpbGFibGUgZm9yIHg4Nl82NC4gQ3Jvc3MgY29tcGlsZSBzaG91bGQgYmUgY29tcGxl dGVseSBwb3NzaWJsZSBidXQgY29tcGlsYXRpb24gb24gcGxhdGZvcm1zIG90aGVyIHRoYW4geDg2 XzY0IGlzIG5vdCBwb3NzaWJsZSB1bmxlc3MgYSBiaW5hcnkgaXMgbWFkZSBmb3IgdGhhdCBhcmNo LiANCgoKQSBwYXRjaCBmaWxlIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9p ZC1wYWNrYWdlcy9wdWxsLzQ0NjIxLnBhdGNoIGlzIGF0dGFjaGVk --===============4753751601496137890== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-mlton-44621.patch" RnJvbSAwZWU2Y2QzOGFiNWIwZjcyYWE2MTNkMjMxYWU3YzI4ZTU5ZTczMzQxIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBBZGFtIFBzY2hvcnIgPGFkYW1wc2Nob3JyMTNAYW9sLmNvbT4K RGF0ZTogU2F0LCAyNCBKdW4gMjAyMyAxNjo0OToyMiAtMDYwMApTdWJqZWN0OiBbUEFUQ0hdIE5l dyBQYWNrYWdlOiBtbHRvbi0yMDIxMDExNwoKLS0tCiBzcmNwa2dzL21sdG9uL3RlbXBsYXRlIHwg MjggKysrKysrKysrKysrKysrKysrKysrKysrKysrKwogMSBmaWxlIGNoYW5nZWQsIDI4IGluc2Vy dGlvbnMoKykKIGNyZWF0ZSBtb2RlIDEwMDY0NCBzcmNwa2dzL21sdG9uL3RlbXBsYXRlCgpkaWZm IC0tZ2l0IGEvc3JjcGtncy9tbHRvbi90ZW1wbGF0ZSBiL3NyY3BrZ3MvbWx0b24vdGVtcGxhdGUK bmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAwLi5jYzdkYTBhM2NlZTEKLS0t IC9kZXYvbnVsbAorKysgYi9zcmNwa2dzL21sdG9uL3RlbXBsYXRlCkBAIC0wLDAgKzEsMjggQEAK KyMgVGVtcGxhdGUgZmlsZSBmb3IgJ21sdG9uJworcGtnbmFtZT1tbHRvbgordmVyc2lvbj0yMDIx MDExNworcmV2aXNpb249MQorYnVpbGRfc3R5bGU9Z251LW1ha2VmaWxlCitob3N0bWFrZWRlcGVu ZHM9IndnZXQgZ2NjIG1ha2UgdGFyIHBhdGNoIgorbWFrZWRlcGVuZHM9ImdtcC1kZXZlbCIKK2Rl cGVuZHM9ImdtcCIKK2J1aWxkX3dya3NyYz0ibWx0b24tJHZlcnNpb24vIgorc2hvcnRfZGVzYz0i V2hvbGUtcHJvZ3JhbSBvcHRpbWl6aW5nIGNvbXBpbGVyIGZvciB0aGUgU3RhbmRhcmQgTUwgcHJv Z3JhbW1pbmcgbGFuZ3VhZ2UiCittYWludGFpbmVyPSJBZGFtIFBzY2hvcnIgPGFkYW1wc2Nob3Jy MTNAYW9sLmNvbT4iCitsaWNlbnNlPSJIUE5EIgoraG9tZXBhZ2U9Imh0dHA6Ly93d3cubWx0b24u b3JnLyIKK2Rpc3RmaWxlcz0iaHR0cHM6Ly9naXRodWIuY29tL01MdG9uL21sdG9uL3JlbGVhc2Vz L2Rvd25sb2FkL29uLSR2ZXJzaW9uLXJlbGVhc2UvbWx0b24tJHZlcnNpb24uc3JjLnRnegoraHR0 cHM6Ly9naXRodWIuY29tL01MdG9uL21sdG9uL3JlbGVhc2VzL2Rvd25sb2FkL29uLSR2ZXJzaW9u LXJlbGVhc2UvbWx0b24tJHZlcnNpb24tMS5hbWQ2NC1saW51eC1nbGliYzIuMzEudGd6IgorY2hl Y2tzdW09ImVjN2E1YTU0ZGViMzljN2MwZmE3NDZkMTc3Njc3NTIxNTRlOWNiOTRkYmNmM2QxNWI3 OTUwODNiM2YwZjE1NGIKKzc0OWNiNTlkNmJhY2NkNjQ0MTQzNzA5YmU4NjYxMDUyMjhkMmI2ZGNk NDBjNTA3YTkwYjg5YzliNWUwZjQ1ZDIiCisKKworCitwb3N0X2V4dHJhY3QoKSB7CisJY2QgJHdy a3NyYy9tbHRvbi0kdmVyc2lvbi0xLmFtZDY0LWxpbnV4LWdsaWJjMi4zMQorCW1ha2UKK30KKwor cG9zdF9pbnN0YWxsKCkgeworCXZsaWNlbnNlIExJQ0VOU0UgCit9Cg== --===============4753751601496137890==--