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=-0.2 required=5.0 tests=ALL_TRUSTED, DKIM_ADSP_NXDOMAIN autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 8171 invoked from network); 22 Jun 2021 00:34:13 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 22 Jun 2021 00:34:13 -0000 Content-Type: multipart/mixed; boundary="===============0527668444524527273==" MIME-Version: 1.0 Subject: =?utf8?q?=5BPR_PATCH=5D_New_package=3A_dune-2=2E8=2E5_=28OCaml_build_system=29=2C_=60dune=60_build-style?= To: ml@inbox.vuxu.org From: kwshi Reply-to: ml@inbox.vuxu.org Message-ID: Date: Tue, 22 Jun 2021 02:34:13 +0200 List-Id: GitHub notification mails are now in MIME to allow UTF8. --===============0527668444524527273== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYSBuZXcgcHVsbCByZXF1ZXN0IGJ5IGt3c2hpIGFnYWluc3QgbWFzdGVyIG9uIHRo ZSB2b2lkLXBhY2thZ2VzIHJlcG9zaXRvcnkKCmh0dHBzOi8vZ2l0aHViLmNvbS9rd3NoaS92b2lk LXBhY2thZ2VzIGR1bmUKaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdl cy9wdWxsLzMxNjAxCgpOZXcgcGFja2FnZTogZHVuZS0yLjguNSAoT0NhbWwgYnVpbGQgc3lzdGVt KSwgYGR1bmVgIGJ1aWxkLXN0eWxlCi0gbmV3IHBhY2thZ2U6IGR1bmUtMi44LjUKLSBjb21tb246 IGFkZCBgZHVuZWAgYnVpbGQtc3R5bGUKLSBuZXcgcGFja2FnZTogb2NhbWwtY3NleHAtMS41LjEK LSBuZXcgcGFja2FnZTogb2NhbWwtZHVuZS1jb25maWd1cmF0b3ItMi44LjUKCjwhLS0gTWFyayBp dGVtcyB3aXRoIFt4XSB3aGVyZSBhcHBsaWNhYmxlIC0tPgoKVGhpcyBQUiBhZGRzIHRoZSBbRHVu ZV0oaHR0cHM6Ly9kdW5lLmJ1aWxkLykgT0NhbWwgYnVpbGQgc3lzdGVtLCBzb21ld2hhdCBhbmFs b2dvdXMgdG8gQ2FyZ28gZm9yIFJ1c3QsIFN0YWNrIGZvciBIYXNrZWxsLCBldGMuOyBpdCBpcyBj b25zaWRlcmVkICJ0aGUiIG1vZGVybiBPQ2FtbCBidWlsZCBzeXN0ZW0gJiBtb3N0IHdpZGVseSB1 c2VkIGZvciBPQ2FtbCBwcm9qZWN0cy4gSSd2ZSBhbHNvIGRlZmluZWQgYSBgZHVuZS5zaGAgYnVp bGQgc3R5bGUgZm9yIHNpbXBsaWZ5aW5nIE9DYW1sIHNvdXJjZSBidWlsZHMuIFRvIG1ha2Ugc3Vy ZSBpdCB3b3Jrcy9kZW1vIGl0cyB1c2UsIEkndmUgYWxzbyBhZGRlZCB0d28gcGFja2FnZXMgYG9j YW1sLWNzZXhwYCBhbmQgYG9jYW1sLWR1bmUtY29uZmlndXJhdG9yYCwgd2hpY2ggYnVpbGQgdXNp bmcgYGJ1aWxkX3N0eWxlPWR1bmVgLgoKIyMjIyBHZW5lcmFsCgotIFt4XSBUaGlzIGlzIGEgbmV3 IHBhY2thZ2UgYW5kIGl0IGNvbmZvcm1zIHRvIHRoZSBbcXVhbGl0eSByZXF1aXJlbWVudHNdKGh0 dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4L3ZvaWQtcGFja2FnZXMvYmxvYi9tYXN0ZXIvTWFu dWFsLm1kI3F1YWxpdHktcmVxdWlyZW1lbnRzKQoKIyMjIyBIYXZlIHRoZSByZXN1bHRzIG9mIHRo ZSBwcm9wb3NlZCBjaGFuZ2VzIGJlZW4gdGVzdGVkPwoKLSBbIF0gSSB1c2UgdGhlIHBhY2thZ2Vz IGFmZmVjdGVkIGJ5IHRoZSBwcm9wb3NlZCBjaGFuZ2VzIG9uIGEgcmVndWxhciBiYXNpcyBhbmQg Y29uZmlybSB0aGlzIFBSIHdvcmtzIGZvciBtZQotIFsgXSBJIGdlbmVyYWxseSBkb24ndCB1c2Ug dGhlIGFmZmVjdGVkIHBhY2thZ2VzIGJ1dCBicmllZmx5IHRlc3RlZCB0aGlzIFBSCgo8IS0tCklm IEdpdEh1YiBDSSBjYW5ub3QgYmUgdXNlZCB0byB2YWxpZGF0ZSB0aGUgYnVpbGQgcmVzdWx0IChm b3IgZXhhbXBsZSwgaWYgdGhlCmJ1aWxkIGlzIGxpa2VseSB0byB0YWtlIHNldmVyYWwgaG91cnMp LCBtYWtlIHN1cmUgdG8KW3NraXAgQ0ldKGh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4L3Zv aWQtcGFja2FnZXMvYmxvYi9tYXN0ZXIvQ09OVFJJQlVUSU5HLm1kI2NvbnRpbnVvdXMtaW50ZWdy YXRpb24pLgpXaGVuIHNraXBwaW5nIENJLCB1bmNvbW1lbnQgYW5kIGZpbGwgb3V0IHRoZSBmb2xs b3dpbmcgc2VjdGlvbi4KTm90ZTogZm9yIGJ1aWxkcyB0aGF0IGFyZSBsaWtlbHkgdG8gY29tcGxl dGUgaW4gbGVzcyB0aGFuIDIgaG91cnMsIGl0IGlzIG5vdAphY2NlcHRhYmxlIHRvIHNraXAgQ0ku Ci0tPgo8IS0tCiMjIyMgRG9lcyBpdCBidWlsZCBhbmQgcnVuIHN1Y2Nlc3NmdWxseT8KKFBsZWFz ZSBjaG9vc2UgYXQgbGVhc3Qgb25lIG5hdGl2ZSBidWlsZCBhbmQsIGlmIHN1cHBvcnRlZCwgYXQg bGVhc3Qgb25lIGNyb3NzIGJ1aWxkLiBNb3JlIGFyZSBiZXR0ZXIuKQotIFsgXSBJIGJ1aWx0IHRo aXMgUFIgbG9jYWxseSBmb3IgbXkgbmF0aXZlIGFyY2hpdGVjdHVyZSwgKEFSQ0gtTElCQykKLSBb IF0gSSBidWlsdCB0aGlzIFBSIGxvY2FsbHkgZm9yIHRoZXNlIGFyY2hpdGVjdHVyZXMgKGlmIHN1 cHBvcnRlZC4gbWFyayBjcm9zc2J1aWxkcyk6CiAgLSBbIF0gYWFyY2g2NC1tdXNsCiAgLSBbIF0g YXJtdjdsCiAgLSBbIF0gYXJtdjZsLW11c2wKLS0+CgoKQSBwYXRjaCBmaWxlIGZyb20gaHR0cHM6 Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9wdWxsLzMxNjAxLnBhdGNoIGlz IGF0dGFjaGVk --===============0527668444524527273== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-dune-31601.patch" RnJvbSA5ZWVkMGRmNTc5MmYwOThmYTAwZWM4MTFiNDJjYjdhZGJhYjdjZDMzIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBLeWUgU2hpIDxzaGkua3llQGdtYWlsLmNvbT4KRGF0ZTogTW9u LCAyMSBKdW4gMjAyMSAxNDoyODoxNSAtMDcwMApTdWJqZWN0OiBbUEFUQ0ggMS80XSBuZXcgcGFj a2FnZTogZHVuZS0yLjguNQoKLS0tCiBzcmNwa2dzL2R1bmUvdGVtcGxhdGUgfCAxOSArKysrKysr KysrKysrKysrKysrCiAxIGZpbGUgY2hhbmdlZCwgMTkgaW5zZXJ0aW9ucygrKQogY3JlYXRlIG1v ZGUgMTAwNjQ0IHNyY3BrZ3MvZHVuZS90ZW1wbGF0ZQoKZGlmZiAtLWdpdCBhL3NyY3BrZ3MvZHVu ZS90ZW1wbGF0ZSBiL3NyY3BrZ3MvZHVuZS90ZW1wbGF0ZQpuZXcgZmlsZSBtb2RlIDEwMDY0NApp bmRleCAwMDAwMDAwMDAwMDAuLmM4YTc4ZTg2YTNjMwotLS0gL2Rldi9udWxsCisrKyBiL3NyY3Br Z3MvZHVuZS90ZW1wbGF0ZQpAQCAtMCwwICsxLDE5IEBACisjIFRlbXBsYXRlIGZpbGUgZm9yICdk dW5lJworcGtnbmFtZT1kdW5lCit2ZXJzaW9uPTIuOC41CityZXZpc2lvbj0xCitidWlsZF9zdHls ZT0iZ251LW1ha2VmaWxlIgorbWFrZV9idWlsZF90YXJnZXQ9InJlbGVhc2UiCittYWtlZGVwZW5k cz0ib2NhbWwiCitzaG9ydF9kZXNjPSJDb21wb3NhYmxlIGJ1aWxkIHN5c3RlbSBmb3IgT0NhbWwi CittYWludGFpbmVyPSJLeWUgU2hpIDxzaGkua3llQGdtYWlsLmNvbT4iCitsaWNlbnNlPSJNSVQi Citob21lcGFnZT0iaHR0cHM6Ly9kdW5lLmJ1aWxkLyIKK2Rpc3RmaWxlcz0iaHR0cHM6Ly9naXRo dWIuY29tL29jYW1sL2R1bmUvYXJjaGl2ZS9yZWZzL3RhZ3MvJHZlcnNpb24udGFyLmd6IgorY2hl Y2tzdW09IjM1ZWEwMzI2NTA5ZDY5NjRiNGIwZjU2Yjg2ZTg4Y2JhOWIzMzA0ZjliNmU2MzIyZmU5 ODI1N2Y3M2E1N2ZjMzAiCitub2Nyb3NzPSJ5ZXMiCisKK3Bvc3RfaW5zdGFsbCgpIHsKKwltdiAt dCAiJERFU1RESVIvdXNyL3NoYXJlIiAiJERFU1RESVIvdXNyIi97ZG9jLG1hbn0KKwl2bGljZW5z ZSAiTElDRU5TRS5tZCIKK30KCkZyb20gYmQ5NWI4ZGZjZjZmM2Q0MmY2MDE1YzY5YmI5Njc0ZDhl Y2MyYmQxMiBNb24gU2VwIDE3IDAwOjAwOjAwIDIwMDEKRnJvbTogS3llIFNoaSA8c2hpLmt5ZUBn bWFpbC5jb20+CkRhdGU6IE1vbiwgMjEgSnVuIDIwMjEgMTc6MjU6MjYgLTA3MDAKU3ViamVjdDog W1BBVENIIDIvNF0gY29tbW9uOiBhZGQgYGR1bmVgIGJ1aWxkLXN0eWxlCgotLS0KIGNvbW1vbi9i dWlsZC1zdHlsZS9kdW5lLnNoICAgICAgICAgICAgIHwgMjIgKysrKysrKysrKysrKysrKysrKysr KwogY29tbW9uL2Vudmlyb25tZW50L2J1aWxkLXN0eWxlL2R1bmUuc2ggfCAgMSArCiAyIGZpbGVz IGNoYW5nZWQsIDIzIGluc2VydGlvbnMoKykKIGNyZWF0ZSBtb2RlIDEwMDY0NCBjb21tb24vYnVp bGQtc3R5bGUvZHVuZS5zaAogY3JlYXRlIG1vZGUgMTAwNjQ0IGNvbW1vbi9lbnZpcm9ubWVudC9i dWlsZC1zdHlsZS9kdW5lLnNoCgpkaWZmIC0tZ2l0IGEvY29tbW9uL2J1aWxkLXN0eWxlL2R1bmUu c2ggYi9jb21tb24vYnVpbGQtc3R5bGUvZHVuZS5zaApuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRl eCAwMDAwMDAwMDAwMDAuLjlkNmUwYjdmMTA3NQotLS0gL2Rldi9udWxsCisrKyBiL2NvbW1vbi9i dWlsZC1zdHlsZS9kdW5lLnNoCkBAIC0wLDAgKzEsMjIgQEAKKyMKKyMgVGhpcyBoZWxwZXIgaXMg Zm9yIHRlbXBsYXRlcyB1c2luZyBPQ2FtbCdzIGR1bmUgYnVpbGQgc3lzdGVtLgorIworZG9fYnVp bGQoKSB7CisgIGR1bmUgYnVpbGQgJG1ha2VfYnVpbGRfYXJncyBAaW5zdGFsbAorfQorCitkb19j aGVjaygpIHsKKwlkdW5lIHJ1bnRlc3QKK30KKworZG9faW5zdGFsbCgpIHsKKyAgZHVuZSBpbnN0 YWxsIC0tcHJlZml4ICcvdXNyJyAtLWRlc3RkaXIgIiRERVNURElSIiAkbWFrZV9pbnN0YWxsX2Fy Z3MgJG1ha2VfaW5zdGFsbF90YXJnZXQKKyAgaWYgWyAtZSAiJERFU1RESVIvdXNyL2RvYyIgXTsg dGhlbgorICAgIG1rZGlyIC1wICIkREVTVERJUi91c3Ivc2hhcmUiCisgICAgbXYgIiRERVNURElS L3Vzci9kb2MiICIkREVTVERJUi91c3Ivc2hhcmUiCisgIGZpCisgIGlmIFsgLWUgIiRERVNURElS L3Vzci9tYW4iIF07IHRoZW4KKyAgICBta2RpciAtcCAiJERFU1RESVIvdXNyL3NoYXJlIgorICAg IG12ICIkREVTVERJUi91c3IvbWFuIiAiJERFU1RESVIvdXNyL3NoYXJlIgorICBmaQorfQpkaWZm IC0tZ2l0IGEvY29tbW9uL2Vudmlyb25tZW50L2J1aWxkLXN0eWxlL2R1bmUuc2ggYi9jb21tb24v ZW52aXJvbm1lbnQvYnVpbGQtc3R5bGUvZHVuZS5zaApuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRl eCAwMDAwMDAwMDAwMDAuLjM2Y2YwODUzN2M1NQotLS0gL2Rldi9udWxsCisrKyBiL2NvbW1vbi9l bnZpcm9ubWVudC9idWlsZC1zdHlsZS9kdW5lLnNoCkBAIC0wLDAgKzEgQEAKK2hvc3RtYWtlZGVw ZW5kcys9IiBvY2FtbCBkdW5lIgoKRnJvbSAyYThjN2Y4MzRiMDgzNzM1NDFjYjgzYzZmNDI1ZWIw M2I4YmJjYTU1IE1vbiBTZXAgMTcgMDA6MDA6MDAgMjAwMQpGcm9tOiBLeWUgU2hpIDxzaGkua3ll QGdtYWlsLmNvbT4KRGF0ZTogTW9uLCAyMSBKdW4gMjAyMSAxNzoyNjoyOCAtMDcwMApTdWJqZWN0 OiBbUEFUQ0ggMy80XSBuZXcgcGFja2FnZTogb2NhbWwtY3NleHAtMS41LjEKCi0tLQogc3JjcGtn cy9vY2FtbC1jc2V4cC90ZW1wbGF0ZSB8IDE3ICsrKysrKysrKysrKysrKysrCiAxIGZpbGUgY2hh bmdlZCwgMTcgaW5zZXJ0aW9ucygrKQogY3JlYXRlIG1vZGUgMTAwNjQ0IHNyY3BrZ3Mvb2NhbWwt Y3NleHAvdGVtcGxhdGUKCmRpZmYgLS1naXQgYS9zcmNwa2dzL29jYW1sLWNzZXhwL3RlbXBsYXRl IGIvc3JjcGtncy9vY2FtbC1jc2V4cC90ZW1wbGF0ZQpuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRl eCAwMDAwMDAwMDAwMDAuLjk1MDdmN2ExMGNlOQotLS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3Mv b2NhbWwtY3NleHAvdGVtcGxhdGUKQEAgLTAsMCArMSwxNyBAQAorIyBUZW1wbGF0ZSBmaWxlIGZv ciAnb2NhbWwtY3NleHAnCitwa2duYW1lPW9jYW1sLWNzZXhwCit2ZXJzaW9uPTEuNS4xCityZXZp c2lvbj0xCit3cmtzcmM9ImNzZXhwLSR2ZXJzaW9uIgorYnVpbGRfc3R5bGU9ImR1bmUiCitzaG9y dF9kZXNjPSJNaW5pbWFsIHN1cHBvcnQgZm9yIENhbm9uaWNhbCBTLWV4cHJlc3Npb25zIgorbWFp bnRhaW5lcj0iS3llIFNoaSA8c2hpLmt5ZUBnbWFpbC5jb20+IgorbGljZW5zZT0iTUlUIgoraG9t ZXBhZ2U9Imh0dHBzOi8vb3BhbS5vY2FtbC5vcmcvcGFja2FnZXMvY3NleHAvIgorZGlzdGZpbGVz PSJodHRwczovL2dpdGh1Yi5jb20vb2NhbWwtZHVuZS9jc2V4cC9hcmNoaXZlL3JlZnMvdGFncy8k dmVyc2lvbi50YXIuZ3oiCitjaGVja3N1bT0iZmZhYjQxYjBiMGY2NWFkZTMwNTA0MzIwNTIyOWE3 NjQ5NTkxMTk1Y2JlODZlMjRmMmMyNTRlOWRjNWIxNGEzNCIKK25vY3Jvc3M9InllcyIKKworcG9z dF9pbnN0YWxsKCkgeworCXZsaWNlbnNlICJMSUNFTlNFLm1kIgorfQoKRnJvbSA3OTFmZjNkYzA5 ZTMwZTcxYWU1ZGU2NWMwNDEwZTNmNDQxNDY1OTQ2IE1vbiBTZXAgMTcgMDA6MDA6MDAgMjAwMQpG cm9tOiBLeWUgU2hpIDxzaGkua3llQGdtYWlsLmNvbT4KRGF0ZTogTW9uLCAyMSBKdW4gMjAyMSAx NzoyNjo0MSAtMDcwMApTdWJqZWN0OiBbUEFUQ0ggNC80XSBuZXcgcGFja2FnZTogb2NhbWwtZHVu ZS1jb25maWd1cmF0b3ItMi44LjUKCi0tLQogc3JjcGtncy9vY2FtbC1kdW5lLWNvbmZpZ3VyYXRv ci90ZW1wbGF0ZSB8IDIwICsrKysrKysrKysrKysrKysrKysrCiAxIGZpbGUgY2hhbmdlZCwgMjAg aW5zZXJ0aW9ucygrKQogY3JlYXRlIG1vZGUgMTAwNjQ0IHNyY3BrZ3Mvb2NhbWwtZHVuZS1jb25m aWd1cmF0b3IvdGVtcGxhdGUKCmRpZmYgLS1naXQgYS9zcmNwa2dzL29jYW1sLWR1bmUtY29uZmln dXJhdG9yL3RlbXBsYXRlIGIvc3JjcGtncy9vY2FtbC1kdW5lLWNvbmZpZ3VyYXRvci90ZW1wbGF0 ZQpuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAwMDAwMDAwMDAwMDAuLjQ3ZGU4MzY4NGFiMAot LS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3Mvb2NhbWwtZHVuZS1jb25maWd1cmF0b3IvdGVtcGxh dGUKQEAgLTAsMCArMSwyMCBAQAorIyBUZW1wbGF0ZSBmaWxlIGZvciAnb2NhbWwtZHVuZS1jb25m aWd1cmF0b3InCitwa2duYW1lPW9jYW1sLWR1bmUtY29uZmlndXJhdG9yCit2ZXJzaW9uPTIuOC41 CityZXZpc2lvbj0xCit3cmtzcmM9ImR1bmUtJHZlcnNpb24iCitidWlsZF9zdHlsZT0iZHVuZSIK K21ha2VfYnVpbGRfYXJncz0iLXAgZHVuZS1jb25maWd1cmF0b3IiCittYWtlX2luc3RhbGxfdGFy Z2V0PSJkdW5lLWNvbmZpZ3VyYXRvciIKK21ha2VkZXBlbmRzPSJvY2FtbC1jc2V4cCIKK3Nob3J0 X2Rlc2M9IkhlbHBlciBsaWJyYXJ5IGZvciBnYXRoZXJpbmcgc3lzdGVtIGluZm9ybWF0aW9uIgor bWFpbnRhaW5lcj0iS3llIFNoaSA8c2hpLmt5ZUBnbWFpbC5jb20+IgorbGljZW5zZT0iTUlUIgor aG9tZXBhZ2U9Imh0dHBzOi8vZHVuZS5idWlsZC8iCitkaXN0ZmlsZXM9Imh0dHBzOi8vZ2l0aHVi LmNvbS9vY2FtbC9kdW5lL2FyY2hpdmUvcmVmcy90YWdzLyR2ZXJzaW9uLnRhci5neiIKK2NoZWNr c3VtPSIzNWVhMDMyNjUwOWQ2OTY0YjRiMGY1NmI4NmU4OGNiYTliMzMwNGY5YjZlNjMyMmZlOTgy NTdmNzNhNTdmYzMwIgorbm9jcm9zcz0ieWVzIgorCitwb3N0X2luc3RhbGwoKSB7CisJdmxpY2Vu c2UgIkxJQ0VOU0UubWQiCit9Cg== --===============0527668444524527273==--