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,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 32560 invoked from network); 12 Sep 2022 02:15:31 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 12 Sep 2022 02:15:31 -0000 Content-Type: multipart/mixed; boundary="===============4925234247203429036==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BClosed=5D=3A_New_package=3A_lean3-community-3=2E42=2E1?= To: ml@inbox.vuxu.org From: github-actions[bot] Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Mon, 12 Sep 2022 04:15:31 +0200 List-Id: Message-ID: <20220912021531.QLG1BLbMcMJNptAE_ZSOsUq7CBvZn6trgyPq9TP918E@z> GitHub notification mails are now in MIME to allow UTF8. --===============4925234247203429036== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUncyBhIGNsb3NlZCBwdWxsIHJlcXVlc3Qgb24gdGhlIHZvaWQtcGFja2FnZXMgcmVwb3Np dG9yeQoKTmV3IHBhY2thZ2U6IGxlYW4zLWNvbW11bml0eS0zLjQyLjEKaHR0cHM6Ly9naXRodWIu Y29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9wdWxsLzM1OTA3CgpEZXNjcmlwdGlvbjoKVGhp cyBpcyBhbiB1cGRhdGVkIHZlcnNpb24gb2YgIzMyNTU5Lg0KDQpSZWNlbnRseSAobWF5YmUgYSBj bWFrZSB1cGRhdGUpIHRoZXJlIGlzIGEgdGVzdCBmYWlsdXJlIHRoYXQgc2VlbXMgdG8gYmUgcmVs YXRlZCB0byBjbWFrZS4gSGVyZSdzIHRoZSByZWxldmFudCBwYXJ0IG9mIHRoZSBvdXRwdXQgb2Yg YC4veGJwcy1zcmMgY2hlY2sgbGVhbi1jb21tdW5pdHlgOg0KYGBgDQpbMC8xXSBSdW5uaW5nIHRl c3RzLi4uDQpUZXN0IHByb2plY3QgL2J1aWxkZGlyL2xlYW4tMy40MC4wL3NyYy9idWlsZA0KICAg ICAgICAgIFN0YXJ0ICAgIDE6IHN0eWxlX2NoZWNrDQogICAxLzE0MjcgVGVzdCAgICAjMTogc3R5 bGVfY2hlY2sgLi4uLi4uLi4uLi4uLi4uLi4uLi4uLi4uLi4uLi4uLi4uLi4uLi4uLi4uLi4uLi4u LioqKkZhaWxlZCAgIDI2LjIyIHNlYw0KL2J1aWxkZGlyL2xlYW4tMy40MC4wL3NyYy9idWlsZC9D TWFrZUZpbGVzLzMuMjIuMi9Db21waWxlcklkQ1hYL0NNYWtlQ1hYQ29tcGlsZXJJZC5jcHA6MDog IE5vIGNvcHlyaWdodCBtZXNzYWdlIGZvdW5kLiAgWW91IHNob3VsZCBoYXZlIGEgbGluZTogIkNv cHlyaWdodCBbeWVhcl0gPENvcHlyaWdodCBPd25lcj4iICBbbGVnYWwvY29weXJpZ2h0XSBbNV0N Ci9idWlsZGRpci9sZWFuLTMuNDAuMC9zcmMvYnVpbGQvQ01ha2VGaWxlcy8zLjIyLjIvQ29tcGls ZXJJZENYWC9DTWFrZUNYWENvbXBpbGVySWQuY3BwOjUwOiAgV2VpcmQgbnVtYmVyIG9mIHNwYWNl cyBhdCBsaW5lLXN0YXJ0LiAgQXJlIHlvdSB1c2luZyBhIDItc3BhY2UgaW5kZW50PyAgW3doaXRl c3BhY2UvaW5kZW50XSBbM10NCi9idWlsZGRpci9sZWFuLTMuNDAuMC9zcmMvYnVpbGQvQ01ha2VG aWxlcy8zLjIyLjIvQ29tcGlsZXJJZENYWC9DTWFrZUNYWENvbXBpbGVySWQuY3BwOjU0OiAgV2Vp cmQgbnVtYmVyIG9mIHNwYWNlcyBhdCBsaW5lLXN0YXJ0LiAgQXJlIHlvdSB1c2luZyBhIDItc3Bh Y2UgaW5kZW50PyAgW3doaXRlc3BhY2UvaW5kZW50XSBbM10NCi9idWlsZGRpci9sZWFuLTMuNDAu MC9zcmMvYnVpbGQvQ01ha2VGaWxlcy8zLjIyLjIvQ29tcGlsZXJJZENYWC9DTWFrZUNYWENvbXBp bGVySWQuY3BwOjEzMDogIFdlaXJkIG51bWJlciBvZiBzcGFjZXMgYXQgbGluZS1zdGFydC4gIEFy ZSB5b3UgdXNpbmcgYSAyLXNwYWNlIGluZGVudD8gIFt3aGl0ZXNwYWNlL2luZGVudF0gWzNdDQov YnVpbGRkaXIvbGVhbi0zLjQwLjAvc3JjL2J1aWxkL0NNYWtlRmlsZXMvMy4yMi4yL0NvbXBpbGVy SWRDWFgvQ01ha2VDWFhDb21waWxlcklkLmNwcDoxMzk6ICBXZWlyZCBudW1iZXIgb2Ygc3BhY2Vz IGF0IGxpbmUtc3RhcnQuICBBcmUgeW91IHVzaW5nIGEgMi1zcGFjZSBpbmRlbnQ/ICBbd2hpdGVz cGFjZS9pbmRlbnRdIFszXQ0KL2J1aWxkZGlyL2xlYW4tMy40MC4wL3NyYy9idWlsZC9DTWFrZUZp bGVzLzMuMjIuMi9Db21waWxlcklkQ1hYL0NNYWtlQ1hYQ29tcGlsZXJJZC5jcHA6MTQ5OiAgV2Vp cmQgbnVtYmVyIG9mIHNwYWNlcyBhdCBsaW5lLXN0YXJ0LiAgQXJlIHlvdSB1c2luZyBhIDItc3Bh Y2UgaW5kZW50PyAgW3doaXRlc3BhY2UvaW5kZW50XSBbM10NCi9idWlsZGRpci9sZWFuLTMuNDAu MC9zcmMvYnVpbGQvQ01ha2VGaWxlcy8zLjIyLjIvQ29tcGlsZXJJZENYWC9DTWFrZUNYWENvbXBp bGVySWQuY3BwOjE1NDogIFdlaXJkIG51bWJlciBvZiBzcGFjZXMgYXQgbGluZS1zdGFydC4gIEFy ZSB5b3UgdXNpbmcgYSAyLXNwYWNlIGluZGVudD8gIFt3aGl0ZXNwYWNlL2luZGVudF0gWzNdDQov YnVpbGRkaXIvbGVhbi0zLjQwLjAvc3JjL2J1aWxkL0NNYWtlRmlsZXMvMy4yMi4yL0NvbXBpbGVy SWRDWFgvQ01ha2VDWFhDb21waWxlcklkLmNwcDoyOTE6ICBXZWlyZCBudW1iZXIgb2Ygc3BhY2Vz IGF0IGxpbmUtc3RhcnQuICBBcmUgeW91IHVzaW5nIGEgMi1zcGFjZSBpbmRlbnQ/ICBbd2hpdGVz cGFjZS9pbmRlbnRdIFszXQ0KL2J1aWxkZGlyL2xlYW4tMy40MC4wL3NyYy9idWlsZC9DTWFrZUZp bGVzLzMuMjIuMi9Db21waWxlcklkQ1hYL0NNYWtlQ1hYQ29tcGlsZXJJZC5jcHA6MzEzOiAgV2Vp cmQgbnVtYmVyIG9mIHNwYWNlcyBhdCBsaW5lLXN0YXJ0LiAgQXJlIHlvdSB1c2luZyBhIDItc3Bh Y2UgaW5kZW50PyAgW3doaXRlc3BhY2UvaW5kZW50XSBbM10NCi9idWlsZGRpci9sZWFuLTMuNDAu MC9zcmMvYnVpbGQvQ01ha2VGaWxlcy8zLjIyLjIvQ29tcGlsZXJJZENYWC9DTWFrZUNYWENvbXBp bGVySWQuY3BwOjY3MDogIE1pc3Npbmcgc3BhY2UgYWZ0ZXIgLCAgW3doaXRlc3BhY2UvY29tbWFd IFszXQ0KL2J1aWxkZGlyL2xlYW4tMy40MC4wL3NyYy9idWlsZC9DTWFrZUZpbGVzLzMuMjIuMi9D b21waWxlcklkQ1hYL0NNYWtlQ1hYQ29tcGlsZXJJZC5jcHA6Njc1OiAgV2VpcmQgbnVtYmVyIG9m IHNwYWNlcyBhdCBsaW5lLXN0YXJ0LiAgQXJlIHlvdSB1c2luZyBhIDItc3BhY2UgaW5kZW50PyAg W3doaXRlc3BhY2UvaW5kZW50XSBbM10NCi9idWlsZGRpci9sZWFuLTMuNDAuMC9zcmMvYnVpbGQv Q01ha2VGaWxlcy8zLjIyLjIvQ29tcGlsZXJJZENYWC9DTWFrZUNYWENvbXBpbGVySWQuY3BwOjY4 MTogIE1pc3Npbmcgc3BhY2UgYWZ0ZXIgLCAgW3doaXRlc3BhY2UvY29tbWFdIFszXQ0KL2J1aWxk ZGlyL2xlYW4tMy40MC4wL3NyYy9idWlsZC9DTWFrZUZpbGVzLzMuMjIuMi9Db21waWxlcklkQ1hY L0NNYWtlQ1hYQ29tcGlsZXJJZC5jcHA6Njg4OiAgTWlzc2luZyBzcGFjZSBhZnRlciAsICBbd2hp dGVzcGFjZS9jb21tYV0gWzNdDQovYnVpbGRkaXIvbGVhbi0zLjQwLjAvc3JjL2J1aWxkL0NNYWtl RmlsZXMvMy4yMi4yL0NvbXBpbGVySWRDWFgvQ01ha2VDWFhDb21waWxlcklkLmNwcDo2ODk6ICBN aXNzaW5nIHNwYWNlIGFmdGVyICwgIFt3aGl0ZXNwYWNlL2NvbW1hXSBbM10NCi9idWlsZGRpci9s ZWFuLTMuNDAuMC9zcmMvYnVpbGQvQ01ha2VGaWxlcy8zLjIyLjIvQ29tcGlsZXJJZENYWC9DTWFr ZUNYWENvbXBpbGVySWQuY3BwOjY5MDogIE1pc3Npbmcgc3BhY2UgYWZ0ZXIgLCAgW3doaXRlc3Bh Y2UvY29tbWFdIFszXQ0KL2J1aWxkZGlyL2xlYW4tMy40MC4wL3NyYy9idWlsZC9DTWFrZUZpbGVz LzMuMjIuMi9Db21waWxlcklkQ1hYL0NNYWtlQ1hYQ29tcGlsZXJJZC5jcHA6Njk5OiAgTWlzc2lu ZyBzcGFjZSBhZnRlciAsICBbd2hpdGVzcGFjZS9jb21tYV0gWzNdDQovYnVpbGRkaXIvbGVhbi0z LjQwLjAvc3JjL2J1aWxkL0NNYWtlRmlsZXMvMy4yMi4yL0NvbXBpbGVySWRDWFgvQ01ha2VDWFhD b21waWxlcklkLmNwcDo3MDQ6ICBXZWlyZCBudW1iZXIgb2Ygc3BhY2VzIGF0IGxpbmUtc3RhcnQu ICBBcmUgeW91IHVzaW5nIGEgMi1zcGFjZSBpbmRlbnQ/ICBbd2hpdGVzcGFjZS9pbmRlbnRdIFsz XQ0KL2J1aWxkZGlyL2xlYW4tMy40MC4wL3NyYy9idWlsZC9DTWFrZUZpbGVzLzMuMjIuMi9Db21w aWxlcklkQ1hYL0NNYWtlQ1hYQ29tcGlsZXJJZC5jcHA6NzEwOiAgTWlzc2luZyBzcGFjZSBhZnRl ciAsICBbd2hpdGVzcGFjZS9jb21tYV0gWzNdDQovYnVpbGRkaXIvbGVhbi0zLjQwLjAvc3JjL2J1 aWxkL0NNYWtlRmlsZXMvMy4yMi4yL0NvbXBpbGVySWRDWFgvQ01ha2VDWFhDb21waWxlcklkLmNw cDo3Njg6ICB7IHNob3VsZCBhbG1vc3QgYWx3YXlzIGJlIGF0IHRoZSBlbmQgb2YgdGhlIHByZXZp b3VzIGxpbmUgIFt3aGl0ZXNwYWNlL2JyYWNlc10gWzRdDQovYnVpbGRkaXIvbGVhbi0zLjQwLjAv c3JjL2J1aWxkL2dpdGhhc2guaDowOiAgTm8gY29weXJpZ2h0IG1lc3NhZ2UgZm91bmQuICBZb3Ug c2hvdWxkIGhhdmUgYSBsaW5lOiAiQ29weXJpZ2h0IFt5ZWFyXSA8Q29weXJpZ2h0IE93bmVyPiIg IFtsZWdhbC9jb3B5cmlnaHRdIFs1XQ0KL2J1aWxkZGlyL2xlYW4tMy40MC4wL3NyYy9idWlsZC92 ZXJzaW9uLmg6MDogIE5vIGNvcHlyaWdodCBtZXNzYWdlIGZvdW5kLiAgWW91IHNob3VsZCBoYXZl IGEgbGluZTogIkNvcHlyaWdodCBbeWVhcl0gPENvcHlyaWdodCBPd25lcj4iICBbbGVnYWwvY29w eXJpZ2h0XSBbNV0NClRvdGFsIGVycm9ycyBmb3VuZDogMjENCmBgYA0KDQpUaGlzIG1heSBiZSBy ZWxhdGVkIHRvIHRoZSBmb2xsb3dpbmcgd2FybmluZyB0aGF0IGlzIG91dHB1dCBieSBgLi94YnBz LXNyYyBjb25maWd1cmUgbGVhbi1jb21tdW5pdHlgOg0KYGBgDQpDTWFrZSBXYXJuaW5nIChkZXYp Og0KICBQb2xpY3kgQ01QMDA1OCBpcyBub3Qgc2V0OiBOaW5qYSByZXF1aXJlcyBjdXN0b20gY29t bWFuZCBieXByb2R1Y3RzIHRvIGJlDQogIGV4cGxpY2l0LiAgUnVuICJjbWFrZSAtLWhlbHAtcG9s aWN5IENNUDAwNTgiIGZvciBwb2xpY3kgZGV0YWlscy4gIFVzZSB0aGUNCiAgY21ha2VfcG9saWN5 IGNvbW1hbmQgdG8gc2V0IHRoZSBwb2xpY3kgYW5kIHN1cHByZXNzIHRoaXMgd2FybmluZy4NCg0K ICBUaGlzIHByb2plY3Qgc3BlY2lmaWVzIGN1c3RvbSBjb21tYW5kIERFUEVORFMgb24gZmlsZXMg aW4gdGhlIGJ1aWxkIHRyZWUNCiAgdGhhdCBhcmUgbm90IHNwZWNpZmllZCBhcyB0aGUgT1VUUFVU IG9yIEJZUFJPRFVDVFMgb2YgYW55DQogIGFkZF9jdXN0b21fY29tbWFuZCBvciBhZGRfY3VzdG9t X3RhcmdldDoNCg0KICAgQ01ha2VGaWxlcy8zLjIyLjIvQ29tcGlsZXJJZENYWC9DTWFrZUNYWENv bXBpbGVySWQuY3BwDQoNCiAgRm9yIGNvbXBhdGliaWxpdHkgd2l0aCB2ZXJzaW9ucyBvZiBDTWFr ZSB0aGF0IGRpZCBub3QgaGF2ZSB0aGUgQllQUk9EVUNUUw0KICBvcHRpb24sIENNYWtlIGlzIGdl bmVyYXRpbmcgcGhvbnkgcnVsZXMgZm9yIHN1Y2ggZmlsZXMgdG8gY29udmluY2UgJ25pbmphJw0K ICB0byBidWlsZC4NCg0KICBQcm9qZWN0IGF1dGhvcnMgc2hvdWxkIGFkZCB0aGUgbWlzc2luZyBC WVBST0RVQ1RTIG9yIE9VVFBVVCBvcHRpb25zIHRvIHRoZQ0KICBjdXN0b20gY29tbWFuZHMgdGhh dCBwcm9kdWNlIHRoZXNlIGZpbGVzLg0KVGhpcyB3YXJuaW5nIGlzIGZvciBwcm9qZWN0IGRldmVs b3BlcnMuICBVc2UgLVduby1kZXYgdG8gc3VwcHJlc3MgaXQuDQpgYGANCg0KQW55IGhlbHAgd2l0 aCB0aGlzIGlzIGFwcHJlY2lhdGVkLiBJJ20gc3VyZSB0aGlzIHdhcyB3b3JraW5nIG9rIHJlY2Vu dGx5Lg0KDQpBbm90aGVyIGlzc3VlIGlzIGEgdGVzdCBmYWlsaW5nIG9uIGk2ODYgb25seSAoY2Yg aHR0cHM6Ly9naXRodWIuY29tL2xlYW5wcm92ZXItY29tbXVuaXR5L2xlYW4vaXNzdWVzLzY4NSkg aXMgdGhlcmUgYW4gZWFzeSB3YXkgdG8gZGlzYWJsZSBhIHBhcnRpY3VsYXIgdGVzdCBmb3IgaTY4 Nj8K --===============4925234247203429036==--