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 8474 invoked from network); 22 Jun 2021 00:36:36 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 22 Jun 2021 00:36:36 -0000 Content-Type: multipart/mixed; boundary="===============1712511100041756414==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BUpdated=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 In-Reply-To: References: Date: Tue, 22 Jun 2021 02:36:36 +0200 List-Id: Message-ID: <20210622003636.8Jax-f38j5wHp4-B-5PLLbMjjM_BB7JZa8-WaJlZYUM@z> GitHub notification mails are now in MIME to allow UTF8. --===============1712511100041756414== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkga3dzaGkgYWdhaW5zdCBtYXN0ZXIg b24gdGhlIHZvaWQtcGFja2FnZXMgcmVwb3NpdG9yeQoKaHR0cHM6Ly9naXRodWIuY29tL2t3c2hp L3ZvaWQtcGFja2FnZXMgZHVuZQpodHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBh Y2thZ2VzL3B1bGwvMzE2MDEKCk5ldyBwYWNrYWdlOiBkdW5lLTIuOC41IChPQ2FtbCBidWlsZCBz eXN0ZW0pLCBgZHVuZWAgYnVpbGQtc3R5bGUKLSBuZXcgcGFja2FnZTogZHVuZS0yLjguNQotIGNv bW1vbjogYWRkIGBkdW5lYCBidWlsZC1zdHlsZQotIG5ldyBwYWNrYWdlOiBvY2FtbC1jc2V4cC0x LjUuMQotIG5ldyBwYWNrYWdlOiBvY2FtbC1kdW5lLWNvbmZpZ3VyYXRvci0yLjguNQoKPCEtLSBN YXJrIGl0ZW1zIHdpdGggW3hdIHdoZXJlIGFwcGxpY2FibGUgLS0+CgpUaGlzIFBSIGFkZHMgdGhl IFtEdW5lXShodHRwczovL2R1bmUuYnVpbGQvKSBPQ2FtbCBidWlsZCBzeXN0ZW0sIHNvbWV3aGF0 IGFuYWxvZ291cyB0byBDYXJnbyBmb3IgUnVzdCwgU3RhY2sgZm9yIEhhc2tlbGwsIGV0Yy47IGl0 IGlzIGNvbnNpZGVyZWQgInRoZSIgbW9kZXJuIE9DYW1sIGJ1aWxkIHN5c3RlbSAmIG1vc3Qgd2lk ZWx5IHVzZWQgZm9yIE9DYW1sIHByb2plY3RzLiBJJ3ZlIGFsc28gZGVmaW5lZCBhIGBkdW5lLnNo YCBidWlsZCBzdHlsZSBmb3Igc2ltcGxpZnlpbmcgT0NhbWwgc291cmNlIGJ1aWxkcy4gVG8gbWFr ZSBzdXJlIGl0IHdvcmtzL2RlbW8gaXRzIHVzZSwgSSd2ZSBhbHNvIGFkZGVkIHR3byBwYWNrYWdl cyBgb2NhbWwtY3NleHBgIGFuZCBgb2NhbWwtZHVuZS1jb25maWd1cmF0b3JgLCB3aGljaCBidWls ZCB1c2luZyBgYnVpbGRfc3R5bGU9ZHVuZWAuCgojIyMjIEdlbmVyYWwKCi0gW3hdIFRoaXMgaXMg YSBuZXcgcGFja2FnZSBhbmQgaXQgY29uZm9ybXMgdG8gdGhlIFtxdWFsaXR5IHJlcXVpcmVtZW50 c10oaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9ibG9iL21hc3Rl ci9NYW51YWwubWQjcXVhbGl0eS1yZXF1aXJlbWVudHMpCgojIyMjIEhhdmUgdGhlIHJlc3VsdHMg b2YgdGhlIHByb3Bvc2VkIGNoYW5nZXMgYmVlbiB0ZXN0ZWQ/CgotIFsgXSBJIHVzZSB0aGUgcGFj a2FnZXMgYWZmZWN0ZWQgYnkgdGhlIHByb3Bvc2VkIGNoYW5nZXMgb24gYSByZWd1bGFyIGJhc2lz IGFuZCBjb25maXJtIHRoaXMgUFIgd29ya3MgZm9yIG1lCi0gWyBdIEkgZ2VuZXJhbGx5IGRvbid0 IHVzZSB0aGUgYWZmZWN0ZWQgcGFja2FnZXMgYnV0IGJyaWVmbHkgdGVzdGVkIHRoaXMgUFIKCjwh LS0KSWYgR2l0SHViIENJIGNhbm5vdCBiZSB1c2VkIHRvIHZhbGlkYXRlIHRoZSBidWlsZCByZXN1 bHQgKGZvciBleGFtcGxlLCBpZiB0aGUKYnVpbGQgaXMgbGlrZWx5IHRvIHRha2Ugc2V2ZXJhbCBo b3VycyksIG1ha2Ugc3VyZSB0bwpbc2tpcCBDSV0oaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGlu dXgvdm9pZC1wYWNrYWdlcy9ibG9iL21hc3Rlci9DT05UUklCVVRJTkcubWQjY29udGludW91cy1p bnRlZ3JhdGlvbikuCldoZW4gc2tpcHBpbmcgQ0ksIHVuY29tbWVudCBhbmQgZmlsbCBvdXQgdGhl IGZvbGxvd2luZyBzZWN0aW9uLgpOb3RlOiBmb3IgYnVpbGRzIHRoYXQgYXJlIGxpa2VseSB0byBj b21wbGV0ZSBpbiBsZXNzIHRoYW4gMiBob3VycywgaXQgaXMgbm90CmFjY2VwdGFibGUgdG8gc2tp cCBDSS4KLS0+CjwhLS0KIyMjIyBEb2VzIGl0IGJ1aWxkIGFuZCBydW4gc3VjY2Vzc2Z1bGx5Pwoo UGxlYXNlIGNob29zZSBhdCBsZWFzdCBvbmUgbmF0aXZlIGJ1aWxkIGFuZCwgaWYgc3VwcG9ydGVk LCBhdCBsZWFzdCBvbmUgY3Jvc3MgYnVpbGQuIE1vcmUgYXJlIGJldHRlci4pCi0gWyBdIEkgYnVp bHQgdGhpcyBQUiBsb2NhbGx5IGZvciBteSBuYXRpdmUgYXJjaGl0ZWN0dXJlLCAoQVJDSC1MSUJD KQotIFsgXSBJIGJ1aWx0IHRoaXMgUFIgbG9jYWxseSBmb3IgdGhlc2UgYXJjaGl0ZWN0dXJlcyAo aWYgc3VwcG9ydGVkLiBtYXJrIGNyb3NzYnVpbGRzKToKICAtIFsgXSBhYXJjaDY0LW11c2wKICAt IFsgXSBhcm12N2wKICAtIFsgXSBhcm12NmwtbXVzbAotLT4KCgpBIHBhdGNoIGZpbGUgZnJvbSBo dHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2thZ2VzL3B1bGwvMzE2MDEucGF0 Y2ggaXMgYXR0YWNoZWQ= --===============1712511100041756414== 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 ZSAiTElDRU5TRS5tZCIKK30KCkZyb20gMTJmYjdhMDA5Yzg4MzIxZDgyMzFiNjkzNDVkMzUwYzMy NmQzYmEwZCBNb24gU2VwIDE3IDAwOjAwOjAwIDIwMDEKRnJvbTogS3llIFNoaSA8c2hpLmt5ZUBn bWFpbC5jb20+CkRhdGU6IE1vbiwgMjEgSnVuIDIwMjEgMTc6MjU6MjYgLTA3MDAKU3ViamVjdDog W1BBVENIIDIvNF0gY29tbW9uOiBhZGQgYGR1bmVgIGJ1aWxkLXN0eWxlCgotLS0KIGNvbW1vbi9i dWlsZC1zdHlsZS9kdW5lLnNoICAgICAgICAgICAgIHwgMjIgKysrKysrKysrKysrKysrKysrKysr KwogY29tbW9uL2Vudmlyb25tZW50L2J1aWxkLXN0eWxlL2R1bmUuc2ggfCAgMSArCiAyIGZpbGVz IGNoYW5nZWQsIDIzIGluc2VydGlvbnMoKykKIGNyZWF0ZSBtb2RlIDEwMDY0NCBjb21tb24vYnVp bGQtc3R5bGUvZHVuZS5zaAogY3JlYXRlIG1vZGUgMTAwNjQ0IGNvbW1vbi9lbnZpcm9ubWVudC9i dWlsZC1zdHlsZS9kdW5lLnNoCgpkaWZmIC0tZ2l0IGEvY29tbW9uL2J1aWxkLXN0eWxlL2R1bmUu c2ggYi9jb21tb24vYnVpbGQtc3R5bGUvZHVuZS5zaApuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRl eCAwMDAwMDAwMDAwMDAuLjBhYTIxNDVhMjVkNwotLS0gL2Rldi9udWxsCisrKyBiL2NvbW1vbi9i dWlsZC1zdHlsZS9kdW5lLnNoCkBAIC0wLDAgKzEsMjIgQEAKKyMKKyMgVGhpcyBoZWxwZXIgaXMg Zm9yIHRlbXBsYXRlcyB1c2luZyBPQ2FtbCdzIGR1bmUgYnVpbGQgc3lzdGVtLgorIworZG9fYnVp bGQoKSB7CisgIGR1bmUgYnVpbGQgJG1ha2VfYnVpbGRfYXJncyBAaW5zdGFsbAorfQorCitkb19j aGVjaygpIHsKKwlkdW5lIHJ1bnRlc3QgJG1ha2VfY2hlY2tfYXJncworfQorCitkb19pbnN0YWxs KCkgeworICBkdW5lIGluc3RhbGwgLS1wcmVmaXggJy91c3InIC0tZGVzdGRpciAiJERFU1RESVIi ICRtYWtlX2luc3RhbGxfYXJncyAkbWFrZV9pbnN0YWxsX3RhcmdldAorICBpZiBbIC1lICIkREVT VERJUi91c3IvZG9jIiBdOyB0aGVuCisgICAgbWtkaXIgLXAgIiRERVNURElSL3Vzci9zaGFyZSIK KyAgICBtdiAiJERFU1RESVIvdXNyL2RvYyIgIiRERVNURElSL3Vzci9zaGFyZSIKKyAgZmkKKyAg aWYgWyAtZSAiJERFU1RESVIvdXNyL21hbiIgXTsgdGhlbgorICAgIG1rZGlyIC1wICIkREVTVERJ Ui91c3Ivc2hhcmUiCisgICAgbXYgIiRERVNURElSL3Vzci9tYW4iICIkREVTVERJUi91c3Ivc2hh cmUiCisgIGZpCit9CmRpZmYgLS1naXQgYS9jb21tb24vZW52aXJvbm1lbnQvYnVpbGQtc3R5bGUv ZHVuZS5zaCBiL2NvbW1vbi9lbnZpcm9ubWVudC9idWlsZC1zdHlsZS9kdW5lLnNoCm5ldyBmaWxl IG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAwMDAwMC4uMzZjZjA4NTM3YzU1Ci0tLSAvZGV2L251 bGwKKysrIGIvY29tbW9uL2Vudmlyb25tZW50L2J1aWxkLXN0eWxlL2R1bmUuc2gKQEAgLTAsMCAr MSBAQAoraG9zdG1ha2VkZXBlbmRzKz0iIG9jYW1sIGR1bmUiCgpGcm9tIDYxZjRjYTgzNThhNDA0 N2E3NTM3MWY3YmU1ZWQzMDhkZjM5NGJjM2YgTW9uIFNlcCAxNyAwMDowMDowMCAyMDAxCkZyb206 IEt5ZSBTaGkgPHNoaS5reWVAZ21haWwuY29tPgpEYXRlOiBNb24sIDIxIEp1biAyMDIxIDE3OjI2 OjI4IC0wNzAwClN1YmplY3Q6IFtQQVRDSCAzLzRdIG5ldyBwYWNrYWdlOiBvY2FtbC1jc2V4cC0x LjUuMQoKLS0tCiBzcmNwa2dzL29jYW1sLWNzZXhwL3RlbXBsYXRlIHwgMTcgKysrKysrKysrKysr KysrKysKIDEgZmlsZSBjaGFuZ2VkLCAxNyBpbnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMDA2 NDQgc3JjcGtncy9vY2FtbC1jc2V4cC90ZW1wbGF0ZQoKZGlmZiAtLWdpdCBhL3NyY3BrZ3Mvb2Nh bWwtY3NleHAvdGVtcGxhdGUgYi9zcmNwa2dzL29jYW1sLWNzZXhwL3RlbXBsYXRlCm5ldyBmaWxl IG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAwMDAwMC4uOTUwN2Y3YTEwY2U5Ci0tLSAvZGV2L251 bGwKKysrIGIvc3JjcGtncy9vY2FtbC1jc2V4cC90ZW1wbGF0ZQpAQCAtMCwwICsxLDE3IEBACisj IFRlbXBsYXRlIGZpbGUgZm9yICdvY2FtbC1jc2V4cCcKK3BrZ25hbWU9b2NhbWwtY3NleHAKK3Zl cnNpb249MS41LjEKK3JldmlzaW9uPTEKK3dya3NyYz0iY3NleHAtJHZlcnNpb24iCitidWlsZF9z dHlsZT0iZHVuZSIKK3Nob3J0X2Rlc2M9Ik1pbmltYWwgc3VwcG9ydCBmb3IgQ2Fub25pY2FsIFMt ZXhwcmVzc2lvbnMiCittYWludGFpbmVyPSJLeWUgU2hpIDxzaGkua3llQGdtYWlsLmNvbT4iCits aWNlbnNlPSJNSVQiCitob21lcGFnZT0iaHR0cHM6Ly9vcGFtLm9jYW1sLm9yZy9wYWNrYWdlcy9j c2V4cC8iCitkaXN0ZmlsZXM9Imh0dHBzOi8vZ2l0aHViLmNvbS9vY2FtbC1kdW5lL2NzZXhwL2Fy Y2hpdmUvcmVmcy90YWdzLyR2ZXJzaW9uLnRhci5neiIKK2NoZWNrc3VtPSJmZmFiNDFiMGIwZjY1 YWRlMzA1MDQzMjA1MjI5YTc2NDk1OTExOTVjYmU4NmUyNGYyYzI1NGU5ZGM1YjE0YTM0Igorbm9j cm9zcz0ieWVzIgorCitwb3N0X2luc3RhbGwoKSB7CisJdmxpY2Vuc2UgIkxJQ0VOU0UubWQiCit9 CgpGcm9tIDUzOWU5ZWUxMjA5Yjc3ZWZlN2FkNTI2YTQ4ODJjNTI2ZDk5YmZhMzMgTW9uIFNlcCAx NyAwMDowMDowMCAyMDAxCkZyb206IEt5ZSBTaGkgPHNoaS5reWVAZ21haWwuY29tPgpEYXRlOiBN b24sIDIxIEp1biAyMDIxIDE3OjI2OjQxIC0wNzAwClN1YmplY3Q6IFtQQVRDSCA0LzRdIG5ldyBw YWNrYWdlOiBvY2FtbC1kdW5lLWNvbmZpZ3VyYXRvci0yLjguNQoKLS0tCiBzcmNwa2dzL29jYW1s LWR1bmUtY29uZmlndXJhdG9yL3RlbXBsYXRlIHwgMjAgKysrKysrKysrKysrKysrKysrKysKIDEg ZmlsZSBjaGFuZ2VkLCAyMCBpbnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtn cy9vY2FtbC1kdW5lLWNvbmZpZ3VyYXRvci90ZW1wbGF0ZQoKZGlmZiAtLWdpdCBhL3NyY3BrZ3Mv b2NhbWwtZHVuZS1jb25maWd1cmF0b3IvdGVtcGxhdGUgYi9zcmNwa2dzL29jYW1sLWR1bmUtY29u ZmlndXJhdG9yL3RlbXBsYXRlCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAwMDAw MC4uNDdkZTgzNjg0YWIwCi0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9vY2FtbC1kdW5lLWNv bmZpZ3VyYXRvci90ZW1wbGF0ZQpAQCAtMCwwICsxLDIwIEBACisjIFRlbXBsYXRlIGZpbGUgZm9y ICdvY2FtbC1kdW5lLWNvbmZpZ3VyYXRvcicKK3BrZ25hbWU9b2NhbWwtZHVuZS1jb25maWd1cmF0 b3IKK3ZlcnNpb249Mi44LjUKK3JldmlzaW9uPTEKK3dya3NyYz0iZHVuZS0kdmVyc2lvbiIKK2J1 aWxkX3N0eWxlPSJkdW5lIgorbWFrZV9idWlsZF9hcmdzPSItcCBkdW5lLWNvbmZpZ3VyYXRvciIK K21ha2VfaW5zdGFsbF90YXJnZXQ9ImR1bmUtY29uZmlndXJhdG9yIgorbWFrZWRlcGVuZHM9Im9j YW1sLWNzZXhwIgorc2hvcnRfZGVzYz0iSGVscGVyIGxpYnJhcnkgZm9yIGdhdGhlcmluZyBzeXN0 ZW0gaW5mb3JtYXRpb24iCittYWludGFpbmVyPSJLeWUgU2hpIDxzaGkua3llQGdtYWlsLmNvbT4i CitsaWNlbnNlPSJNSVQiCitob21lcGFnZT0iaHR0cHM6Ly9kdW5lLmJ1aWxkLyIKK2Rpc3RmaWxl cz0iaHR0cHM6Ly9naXRodWIuY29tL29jYW1sL2R1bmUvYXJjaGl2ZS9yZWZzL3RhZ3MvJHZlcnNp b24udGFyLmd6IgorY2hlY2tzdW09IjM1ZWEwMzI2NTA5ZDY5NjRiNGIwZjU2Yjg2ZTg4Y2JhOWIz MzA0ZjliNmU2MzIyZmU5ODI1N2Y3M2E1N2ZjMzAiCitub2Nyb3NzPSJ5ZXMiCisKK3Bvc3RfaW5z dGFsbCgpIHsKKwl2bGljZW5zZSAiTElDRU5TRS5tZCIKK30K --===============1712511100041756414==--