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 21160 invoked from network); 6 Jun 2022 02:14:21 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 6 Jun 2022 02:14:21 -0000 Content-Type: multipart/mixed; boundary="===============6281100985765224014==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BClosed=5D=3A_common/build-style=3A_add_=60dune=60_=28OCaml_builder=29?= To: ml@inbox.vuxu.org From: github-actions[bot] Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Mon, 06 Jun 2022 04:14:21 +0200 List-Id: Message-ID: <20220606021421.-RS6zmkWUnwj_F0X4jac4DKFbDHjOCZCTueerJ3Eoh8@z> GitHub notification mails are now in MIME to allow UTF8. --===============6281100985765224014== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUncyBhIGNsb3NlZCBwdWxsIHJlcXVlc3Qgb24gdGhlIHZvaWQtcGFja2FnZXMgcmVwb3Np dG9yeQoKY29tbW9uL2J1aWxkLXN0eWxlOiBhZGQgYGR1bmVgIChPQ2FtbCBidWlsZGVyKQpodHRw czovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2thZ2VzL3B1bGwvMzE2MDEKCkRlc2Ny aXB0aW9uOgo8IS0tIE1hcmsgaXRlbXMgd2l0aCBbeF0gd2hlcmUgYXBwbGljYWJsZSAtLT4NCg0K VGhpcyBQUiBkZWZpbmVzIGEgYGR1bmUuc2hgIGJ1aWxkIHN0eWxlIHRvIHN0cmVhbWxpbmUgT0Nh bWwgYnVpbGRzIHVzaW5nIHRoZSBbRHVuZV0oaHR0cHM6Ly9kdW5lLmJ1aWxkKSBidWlsZGVyLiAg SXRzIHB1cnBvc2UgaXMgYW5hbG9nb3VzIHRvIHRoZSBgY2FyZ29gIGJ1aWxkIHN0eWxlIGZvciBS dXN0IHByb2plY3RzLCBvciBgcHl0aG9uMy1tb2R1bGVgIGJ1aWxkIHN0eWxlIGZvciBQeXRob24g c2V0dXAucHkgcHJvamVjdHMsIGV0Yy4NCg0KQXMgYW4gZXhhbXBsZSBzaG93aW5nIGhvdyBpdCB3 b3JrcywgSSd2ZSBhbHNvIGFkZGVkIGBvY2FtbC1zZXhwbGliMGAgKGEgY29tbW9uIHNleHAgbGli cmFyeSBmb3IgT0NhbWwpLCB3aGljaCBidWlsZHMgdXNpbmcgYGJ1aWxkX3N0eWxlPWR1bmVgLg0K DQojIyMjIEdlbmVyYWwNCg0KLSBbeF0gVGhpcyBpcyBhIG5ldyBwYWNrYWdlIGFuZCBpdCBjb25m b3JtcyB0byB0aGUgW3F1YWxpdHkgcmVxdWlyZW1lbnRzXShodHRwczovL2dpdGh1Yi5jb20vdm9p ZC1saW51eC92b2lkLXBhY2thZ2VzL2Jsb2IvbWFzdGVyL01hbnVhbC5tZCNxdWFsaXR5LXJlcXVp cmVtZW50cykNCg0KIyMjIyBIYXZlIHRoZSByZXN1bHRzIG9mIHRoZSBwcm9wb3NlZCBjaGFuZ2Vz IGJlZW4gdGVzdGVkPw0KDQotIFt4XSBJIHVzZSB0aGUgcGFja2FnZXMgYWZmZWN0ZWQgYnkgdGhl IHByb3Bvc2VkIGNoYW5nZXMgb24gYSByZWd1bGFyIGJhc2lzIGFuZCBjb25maXJtIHRoaXMgUFIg d29ya3MgZm9yIG1lDQotIFsgXSBJIGdlbmVyYWxseSBkb24ndCB1c2UgdGhlIGFmZmVjdGVkIHBh Y2thZ2VzIGJ1dCBicmllZmx5IHRlc3RlZCB0aGlzIFBSDQoNCjwhLS0NCklmIEdpdEh1YiBDSSBj YW5ub3QgYmUgdXNlZCB0byB2YWxpZGF0ZSB0aGUgYnVpbGQgcmVzdWx0IChmb3IgZXhhbXBsZSwg aWYgdGhlDQpidWlsZCBpcyBsaWtlbHkgdG8gdGFrZSBzZXZlcmFsIGhvdXJzKSwgbWFrZSBzdXJl IHRvDQpbc2tpcCBDSV0oaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdl cy9ibG9iL21hc3Rlci9DT05UUklCVVRJTkcubWQjY29udGludW91cy1pbnRlZ3JhdGlvbikuDQpX aGVuIHNraXBwaW5nIENJLCB1bmNvbW1lbnQgYW5kIGZpbGwgb3V0IHRoZSBmb2xsb3dpbmcgc2Vj dGlvbi4NCk5vdGU6IGZvciBidWlsZHMgdGhhdCBhcmUgbGlrZWx5IHRvIGNvbXBsZXRlIGluIGxl c3MgdGhhbiAyIGhvdXJzLCBpdCBpcyBub3QNCmFjY2VwdGFibGUgdG8gc2tpcCBDSS4NCi0tPg0K PCEtLQ0KIyMjIyBEb2VzIGl0IGJ1aWxkIGFuZCBydW4gc3VjY2Vzc2Z1bGx5Pw0KKFBsZWFzZSBj aG9vc2UgYXQgbGVhc3Qgb25lIG5hdGl2ZSBidWlsZCBhbmQsIGlmIHN1cHBvcnRlZCwgYXQgbGVh c3Qgb25lIGNyb3NzIGJ1aWxkLiBNb3JlIGFyZSBiZXR0ZXIuKQ0KLSBbIF0gSSBidWlsdCB0aGlz IFBSIGxvY2FsbHkgZm9yIG15IG5hdGl2ZSBhcmNoaXRlY3R1cmUsIChBUkNILUxJQkMpDQotIFsg XSBJIGJ1aWx0IHRoaXMgUFIgbG9jYWxseSBmb3IgdGhlc2UgYXJjaGl0ZWN0dXJlcyAoaWYgc3Vw cG9ydGVkLiBtYXJrIGNyb3NzYnVpbGRzKToNCiAgLSBbIF0gYWFyY2g2NC1tdXNsDQogIC0gWyBd IGFybXY3bA0KICAtIFsgXSBhcm12NmwtbXVzbA0KLS0+DQoK --===============6281100985765224014==--