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 30137 invoked from network); 1 Mar 2022 18:13:37 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 1 Mar 2022 18:13:37 -0000 Content-Type: multipart/mixed; boundary="===============6546897774879708226==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BUpdated=5D_=5BHelp_with_cmake_needed=5D_New_package=3A_lean-community-3=2E40=2E0?= To: ml@inbox.vuxu.org From: tornaria Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Tue, 01 Mar 2022 19:13:37 +0100 List-Id: Message-ID: <20220301181337.C72xXe1nXaxZoIl5itxGtFtFaFd6B0ZLXL_3vE1_8gc@z> GitHub notification mails are now in MIME to allow UTF8. --===============6546897774879708226== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgdG9ybmFyaWEgYWdhaW5zdCBtYXN0 ZXIgb24gdGhlIHZvaWQtcGFja2FnZXMgcmVwb3NpdG9yeQoKaHR0cHM6Ly9naXRodWIuY29tL3Rv cm5hcmlhL3ZvaWQtcGFja2FnZXMgbGVhbi1jb21tdW5pdHkKaHR0cHM6Ly9naXRodWIuY29tL3Zv aWQtbGludXgvdm9pZC1wYWNrYWdlcy9wdWxsLzM1OTA3CgpbSGVscCB3aXRoIGNtYWtlIG5lZWRl ZF0gTmV3IHBhY2thZ2U6IGxlYW4tY29tbXVuaXR5LTMuNDAuMApUaGlzIGlzIGFuIHVwZGF0ZWQg dmVyc2lvbiBvZiAjMzI1NTkuDQoNClJlY2VudGx5IChtYXliZSBhIGNtYWtlIHVwZGF0ZSkgdGhl cmUgaXMgYSB0ZXN0IGZhaWx1cmUgdGhhdCBzZWVtcyB0byBiZSByZWxhdGVkIHRvIGNtYWtlLiBI ZXJlJ3MgdGhlIHJlbGV2YW50IHBhcnQgb2YgdGhlIG91dHB1dCBvZiBgLi94YnBzLXNyYyBjaGVj ayBsZWFuLWNvbW11bml0eWA6DQpgYGANClswLzFdIFJ1bm5pbmcgdGVzdHMuLi4NClRlc3QgcHJv amVjdCAvYnVpbGRkaXIvbGVhbi0zLjQwLjAvc3JjL2J1aWxkDQogICAgICAgICAgU3RhcnQgICAg MTogc3R5bGVfY2hlY2sNCiAgIDEvMTQyNyBUZXN0ICAgICMxOiBzdHlsZV9jaGVjayAuLi4uLi4u Li4uLi4uLi4uLi4uLi4uLi4uLi4uLi4uLi4uLi4uLi4uLi4uLi4uLi4uKioqRmFpbGVkICAgMjYu MjIgc2VjDQovYnVpbGRkaXIvbGVhbi0zLjQwLjAvc3JjL2J1aWxkL0NNYWtlRmlsZXMvMy4yMi4y L0NvbXBpbGVySWRDWFgvQ01ha2VDWFhDb21waWxlcklkLmNwcDowOiAgTm8gY29weXJpZ2h0IG1l c3NhZ2UgZm91bmQuICBZb3Ugc2hvdWxkIGhhdmUgYSBsaW5lOiAiQ29weXJpZ2h0IFt5ZWFyXSA8 Q29weXJpZ2h0IE93bmVyPiIgIFtsZWdhbC9jb3B5cmlnaHRdIFs1XQ0KL2J1aWxkZGlyL2xlYW4t My40MC4wL3NyYy9idWlsZC9DTWFrZUZpbGVzLzMuMjIuMi9Db21waWxlcklkQ1hYL0NNYWtlQ1hY Q29tcGlsZXJJZC5jcHA6NTA6ICBXZWlyZCBudW1iZXIgb2Ygc3BhY2VzIGF0IGxpbmUtc3RhcnQu ICBBcmUgeW91IHVzaW5nIGEgMi1zcGFjZSBpbmRlbnQ/ICBbd2hpdGVzcGFjZS9pbmRlbnRdIFsz XQ0KL2J1aWxkZGlyL2xlYW4tMy40MC4wL3NyYy9idWlsZC9DTWFrZUZpbGVzLzMuMjIuMi9Db21w aWxlcklkQ1hYL0NNYWtlQ1hYQ29tcGlsZXJJZC5jcHA6NTQ6ICBXZWlyZCBudW1iZXIgb2Ygc3Bh Y2VzIGF0IGxpbmUtc3RhcnQuICBBcmUgeW91IHVzaW5nIGEgMi1zcGFjZSBpbmRlbnQ/ICBbd2hp dGVzcGFjZS9pbmRlbnRdIFszXQ0KL2J1aWxkZGlyL2xlYW4tMy40MC4wL3NyYy9idWlsZC9DTWFr ZUZpbGVzLzMuMjIuMi9Db21waWxlcklkQ1hYL0NNYWtlQ1hYQ29tcGlsZXJJZC5jcHA6MTMwOiAg V2VpcmQgbnVtYmVyIG9mIHNwYWNlcyBhdCBsaW5lLXN0YXJ0LiAgQXJlIHlvdSB1c2luZyBhIDIt c3BhY2UgaW5kZW50PyAgW3doaXRlc3BhY2UvaW5kZW50XSBbM10NCi9idWlsZGRpci9sZWFuLTMu NDAuMC9zcmMvYnVpbGQvQ01ha2VGaWxlcy8zLjIyLjIvQ29tcGlsZXJJZENYWC9DTWFrZUNYWENv bXBpbGVySWQuY3BwOjEzOTogIFdlaXJkIG51bWJlciBvZiBzcGFjZXMgYXQgbGluZS1zdGFydC4g IEFyZSB5b3UgdXNpbmcgYSAyLXNwYWNlIGluZGVudD8gIFt3aGl0ZXNwYWNlL2luZGVudF0gWzNd DQovYnVpbGRkaXIvbGVhbi0zLjQwLjAvc3JjL2J1aWxkL0NNYWtlRmlsZXMvMy4yMi4yL0NvbXBp bGVySWRDWFgvQ01ha2VDWFhDb21waWxlcklkLmNwcDoxNDk6ICBXZWlyZCBudW1iZXIgb2Ygc3Bh Y2VzIGF0IGxpbmUtc3RhcnQuICBBcmUgeW91IHVzaW5nIGEgMi1zcGFjZSBpbmRlbnQ/ICBbd2hp dGVzcGFjZS9pbmRlbnRdIFszXQ0KL2J1aWxkZGlyL2xlYW4tMy40MC4wL3NyYy9idWlsZC9DTWFr ZUZpbGVzLzMuMjIuMi9Db21waWxlcklkQ1hYL0NNYWtlQ1hYQ29tcGlsZXJJZC5jcHA6MTU0OiAg V2VpcmQgbnVtYmVyIG9mIHNwYWNlcyBhdCBsaW5lLXN0YXJ0LiAgQXJlIHlvdSB1c2luZyBhIDIt c3BhY2UgaW5kZW50PyAgW3doaXRlc3BhY2UvaW5kZW50XSBbM10NCi9idWlsZGRpci9sZWFuLTMu NDAuMC9zcmMvYnVpbGQvQ01ha2VGaWxlcy8zLjIyLjIvQ29tcGlsZXJJZENYWC9DTWFrZUNYWENv bXBpbGVySWQuY3BwOjI5MTogIFdlaXJkIG51bWJlciBvZiBzcGFjZXMgYXQgbGluZS1zdGFydC4g IEFyZSB5b3UgdXNpbmcgYSAyLXNwYWNlIGluZGVudD8gIFt3aGl0ZXNwYWNlL2luZGVudF0gWzNd DQovYnVpbGRkaXIvbGVhbi0zLjQwLjAvc3JjL2J1aWxkL0NNYWtlRmlsZXMvMy4yMi4yL0NvbXBp bGVySWRDWFgvQ01ha2VDWFhDb21waWxlcklkLmNwcDozMTM6ICBXZWlyZCBudW1iZXIgb2Ygc3Bh Y2VzIGF0IGxpbmUtc3RhcnQuICBBcmUgeW91IHVzaW5nIGEgMi1zcGFjZSBpbmRlbnQ/ICBbd2hp dGVzcGFjZS9pbmRlbnRdIFszXQ0KL2J1aWxkZGlyL2xlYW4tMy40MC4wL3NyYy9idWlsZC9DTWFr ZUZpbGVzLzMuMjIuMi9Db21waWxlcklkQ1hYL0NNYWtlQ1hYQ29tcGlsZXJJZC5jcHA6NjcwOiAg TWlzc2luZyBzcGFjZSBhZnRlciAsICBbd2hpdGVzcGFjZS9jb21tYV0gWzNdDQovYnVpbGRkaXIv bGVhbi0zLjQwLjAvc3JjL2J1aWxkL0NNYWtlRmlsZXMvMy4yMi4yL0NvbXBpbGVySWRDWFgvQ01h a2VDWFhDb21waWxlcklkLmNwcDo2NzU6ICBXZWlyZCBudW1iZXIgb2Ygc3BhY2VzIGF0IGxpbmUt c3RhcnQuICBBcmUgeW91IHVzaW5nIGEgMi1zcGFjZSBpbmRlbnQ/ICBbd2hpdGVzcGFjZS9pbmRl bnRdIFszXQ0KL2J1aWxkZGlyL2xlYW4tMy40MC4wL3NyYy9idWlsZC9DTWFrZUZpbGVzLzMuMjIu Mi9Db21waWxlcklkQ1hYL0NNYWtlQ1hYQ29tcGlsZXJJZC5jcHA6NjgxOiAgTWlzc2luZyBzcGFj ZSBhZnRlciAsICBbd2hpdGVzcGFjZS9jb21tYV0gWzNdDQovYnVpbGRkaXIvbGVhbi0zLjQwLjAv c3JjL2J1aWxkL0NNYWtlRmlsZXMvMy4yMi4yL0NvbXBpbGVySWRDWFgvQ01ha2VDWFhDb21waWxl cklkLmNwcDo2ODg6ICBNaXNzaW5nIHNwYWNlIGFmdGVyICwgIFt3aGl0ZXNwYWNlL2NvbW1hXSBb M10NCi9idWlsZGRpci9sZWFuLTMuNDAuMC9zcmMvYnVpbGQvQ01ha2VGaWxlcy8zLjIyLjIvQ29t cGlsZXJJZENYWC9DTWFrZUNYWENvbXBpbGVySWQuY3BwOjY4OTogIE1pc3Npbmcgc3BhY2UgYWZ0 ZXIgLCAgW3doaXRlc3BhY2UvY29tbWFdIFszXQ0KL2J1aWxkZGlyL2xlYW4tMy40MC4wL3NyYy9i dWlsZC9DTWFrZUZpbGVzLzMuMjIuMi9Db21waWxlcklkQ1hYL0NNYWtlQ1hYQ29tcGlsZXJJZC5j cHA6NjkwOiAgTWlzc2luZyBzcGFjZSBhZnRlciAsICBbd2hpdGVzcGFjZS9jb21tYV0gWzNdDQov YnVpbGRkaXIvbGVhbi0zLjQwLjAvc3JjL2J1aWxkL0NNYWtlRmlsZXMvMy4yMi4yL0NvbXBpbGVy SWRDWFgvQ01ha2VDWFhDb21waWxlcklkLmNwcDo2OTk6ICBNaXNzaW5nIHNwYWNlIGFmdGVyICwg IFt3aGl0ZXNwYWNlL2NvbW1hXSBbM10NCi9idWlsZGRpci9sZWFuLTMuNDAuMC9zcmMvYnVpbGQv Q01ha2VGaWxlcy8zLjIyLjIvQ29tcGlsZXJJZENYWC9DTWFrZUNYWENvbXBpbGVySWQuY3BwOjcw NDogIFdlaXJkIG51bWJlciBvZiBzcGFjZXMgYXQgbGluZS1zdGFydC4gIEFyZSB5b3UgdXNpbmcg YSAyLXNwYWNlIGluZGVudD8gIFt3aGl0ZXNwYWNlL2luZGVudF0gWzNdDQovYnVpbGRkaXIvbGVh bi0zLjQwLjAvc3JjL2J1aWxkL0NNYWtlRmlsZXMvMy4yMi4yL0NvbXBpbGVySWRDWFgvQ01ha2VD WFhDb21waWxlcklkLmNwcDo3MTA6ICBNaXNzaW5nIHNwYWNlIGFmdGVyICwgIFt3aGl0ZXNwYWNl L2NvbW1hXSBbM10NCi9idWlsZGRpci9sZWFuLTMuNDAuMC9zcmMvYnVpbGQvQ01ha2VGaWxlcy8z LjIyLjIvQ29tcGlsZXJJZENYWC9DTWFrZUNYWENvbXBpbGVySWQuY3BwOjc2ODogIHsgc2hvdWxk IGFsbW9zdCBhbHdheXMgYmUgYXQgdGhlIGVuZCBvZiB0aGUgcHJldmlvdXMgbGluZSAgW3doaXRl c3BhY2UvYnJhY2VzXSBbNF0NCi9idWlsZGRpci9sZWFuLTMuNDAuMC9zcmMvYnVpbGQvZ2l0aGFz aC5oOjA6ICBObyBjb3B5cmlnaHQgbWVzc2FnZSBmb3VuZC4gIFlvdSBzaG91bGQgaGF2ZSBhIGxp bmU6ICJDb3B5cmlnaHQgW3llYXJdIDxDb3B5cmlnaHQgT3duZXI+IiAgW2xlZ2FsL2NvcHlyaWdo dF0gWzVdDQovYnVpbGRkaXIvbGVhbi0zLjQwLjAvc3JjL2J1aWxkL3ZlcnNpb24uaDowOiAgTm8g Y29weXJpZ2h0IG1lc3NhZ2UgZm91bmQuICBZb3Ugc2hvdWxkIGhhdmUgYSBsaW5lOiAiQ29weXJp Z2h0IFt5ZWFyXSA8Q29weXJpZ2h0IE93bmVyPiIgIFtsZWdhbC9jb3B5cmlnaHRdIFs1XQ0KVG90 YWwgZXJyb3JzIGZvdW5kOiAyMQ0KYGBgDQoNClRoaXMgbWF5IGJlIHJlbGF0ZWQgdG8gdGhlIGZv bGxvd2luZyB3YXJuaW5nIHRoYXQgaXMgb3V0cHV0IGJ5IGAuL3hicHMtc3JjIGNvbmZpZ3VyZSBs ZWFuLWNvbW11bml0eWA6DQpgYGANCkNNYWtlIFdhcm5pbmcgKGRldik6DQogIFBvbGljeSBDTVAw MDU4IGlzIG5vdCBzZXQ6IE5pbmphIHJlcXVpcmVzIGN1c3RvbSBjb21tYW5kIGJ5cHJvZHVjdHMg dG8gYmUNCiAgZXhwbGljaXQuICBSdW4gImNtYWtlIC0taGVscC1wb2xpY3kgQ01QMDA1OCIgZm9y IHBvbGljeSBkZXRhaWxzLiAgVXNlIHRoZQ0KICBjbWFrZV9wb2xpY3kgY29tbWFuZCB0byBzZXQg dGhlIHBvbGljeSBhbmQgc3VwcHJlc3MgdGhpcyB3YXJuaW5nLg0KDQogIFRoaXMgcHJvamVjdCBz cGVjaWZpZXMgY3VzdG9tIGNvbW1hbmQgREVQRU5EUyBvbiBmaWxlcyBpbiB0aGUgYnVpbGQgdHJl ZQ0KICB0aGF0IGFyZSBub3Qgc3BlY2lmaWVkIGFzIHRoZSBPVVRQVVQgb3IgQllQUk9EVUNUUyBv ZiBhbnkNCiAgYWRkX2N1c3RvbV9jb21tYW5kIG9yIGFkZF9jdXN0b21fdGFyZ2V0Og0KDQogICBD TWFrZUZpbGVzLzMuMjIuMi9Db21waWxlcklkQ1hYL0NNYWtlQ1hYQ29tcGlsZXJJZC5jcHANCg0K ICBGb3IgY29tcGF0aWJpbGl0eSB3aXRoIHZlcnNpb25zIG9mIENNYWtlIHRoYXQgZGlkIG5vdCBo YXZlIHRoZSBCWVBST0RVQ1RTDQogIG9wdGlvbiwgQ01ha2UgaXMgZ2VuZXJhdGluZyBwaG9ueSBy dWxlcyBmb3Igc3VjaCBmaWxlcyB0byBjb252aW5jZSAnbmluamEnDQogIHRvIGJ1aWxkLg0KDQog IFByb2plY3QgYXV0aG9ycyBzaG91bGQgYWRkIHRoZSBtaXNzaW5nIEJZUFJPRFVDVFMgb3IgT1VU UFVUIG9wdGlvbnMgdG8gdGhlDQogIGN1c3RvbSBjb21tYW5kcyB0aGF0IHByb2R1Y2UgdGhlc2Ug ZmlsZXMuDQpUaGlzIHdhcm5pbmcgaXMgZm9yIHByb2plY3QgZGV2ZWxvcGVycy4gIFVzZSAtV25v LWRldiB0byBzdXBwcmVzcyBpdC4NCmBgYA0KDQpBbnkgaGVscCB3aXRoIHRoaXMgaXMgYXBwcmVj aWF0ZWQuIEknbSBzdXJlIHRoaXMgd2FzIHdvcmtpbmcgb2sgcmVjZW50bHkuDQoNCkFub3RoZXIg aXNzdWUgaXMgYSB0ZXN0IGZhaWxpbmcgb24gaTY4NiBvbmx5IChjZiBodHRwczovL2dpdGh1Yi5j b20vbGVhbnByb3Zlci1jb21tdW5pdHkvbGVhbi9pc3N1ZXMvNjg1KSBpcyB0aGVyZSBhbiBlYXN5 IHdheSB0byBkaXNhYmxlIGEgcGFydGljdWxhciB0ZXN0IGZvciBpNjg2PwoKQSBwYXRjaCBmaWxl IGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9wdWxsLzM1 OTA3LnBhdGNoIGlzIGF0dGFjaGVk --===============6546897774879708226== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-lean-community-35907.patch" RnJvbSBlYTc0Yzg4ZTBkM2MzMWI4NjAxNWQ5Y2MzZDYxNzhjOTdiYjEwYTkzIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiA9P1VURi04P3E/R29uemFsbz0yMFRvcm5hcj1DMz1BRGE/PSA8 dG9ybmFyaWFAY21hdC5lZHUudXk+CkRhdGU6IFR1ZSwgMSBNYXIgMjAyMiAxMjo1ODo0MyAtMDMw MApTdWJqZWN0OiBbUEFUQ0hdIE5ldyBwYWNrYWdlOiBsZWFuMy1jb21tdW5pdHktMy40MC4wCgot LS0KIHNyY3BrZ3MvbGVhbjMtY29tbXVuaXR5L3RlbXBsYXRlIHwgMzEgKysrKysrKysrKysrKysr KysrKysrKysrKysrKysrKwogMSBmaWxlIGNoYW5nZWQsIDMxIGluc2VydGlvbnMoKykKIGNyZWF0 ZSBtb2RlIDEwMDY0NCBzcmNwa2dzL2xlYW4zLWNvbW11bml0eS90ZW1wbGF0ZQoKZGlmZiAtLWdp dCBhL3NyY3BrZ3MvbGVhbjMtY29tbXVuaXR5L3RlbXBsYXRlIGIvc3JjcGtncy9sZWFuMy1jb21t dW5pdHkvdGVtcGxhdGUKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAwLi5l ZTAzOTYyZjVlZTMKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dzL2xlYW4zLWNvbW11bml0eS90 ZW1wbGF0ZQpAQCAtMCwwICsxLDMxIEBACisjIFRlbXBsYXRlIGZpbGUgZm9yICdsZWFuMy1jb21t dW5pdHknCitwa2duYW1lPWxlYW4zLWNvbW11bml0eQordmVyc2lvbj0zLjQwLjAKK3JldmlzaW9u PTEKK3dya3NyYz0ibGVhbi0kdmVyc2lvbiIKK2J1aWxkX3dya3NyYz1zcmMKK2J1aWxkX3N0eWxl PWNtYWtlCitjb25maWd1cmVfYXJncz0iLURVU0VfR0lUSEFTSD1PRkYiCitob3N0bWFrZWRlcGVu ZHM9InB5dGhvbjMiCittYWtlZGVwZW5kcz0iZ21wLWRldmVsIgorc2hvcnRfZGVzYz0iTGVhbiBU aGVvcmVtIFByb3ZlciwgbWFpbnRhaW5lZCBieSB0aGUgTGVhbiBjb21tdW5pdHkiCittYWludGFp bmVyPSJHb256YWxvIFRvcm5hcsOtYSA8dG9ybmFyaWFAY21hdC5lZHUudXk+IgorbGljZW5zZT0i QXBhY2hlLTIuMCIKK2hvbWVwYWdlPSJodHRwczovL2xlYW5wcm92ZXItY29tbXVuaXR5LmdpdGh1 Yi5pby8iCitjaGFuZ2Vsb2c9Imh0dHBzOi8vcmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbS9sZWFu cHJvdmVyLWNvbW11bml0eS9sZWFuL21hc3Rlci9kb2MvY2hhbmdlcy5tZCIKK2Rpc3RmaWxlcz0i aHR0cHM6Ly9naXRodWIuY29tL2xlYW5wcm92ZXItY29tbXVuaXR5L2xlYW4vYXJjaGl2ZS92JHt2 ZXJzaW9ufS50YXIuZ3oiCitjaGVja3N1bT05NTU0OTZkOTdiMjE5M2ZlYTM2MDlhM2YzZjdhZDlj YWI2NDEzZTBkMGVhNmMxYTAzZDZjMTY1NmEyZWMwOGVmCisKK2lmIFsgLW4gIiRDUk9TU19CVUlM RCIgXTsgdGhlbgorCWNvbmZpZ3VyZV9hcmdzKz0iIC1EQ1JPU1NfQ09NUElMRT1PTiIKK2ZpCisK K2RvX2NoZWNrKCkgeworCWNkICR7Y21ha2VfYnVpbGRkaXI6PWJ1aWxkfQorCSMgc3R5bGVfY2hl Y2s6IGZhaWxzIG9uIChnZW5lcmF0ZWQgZmlsZSkKKwkjCUNNYWtlRmlsZXMvMy4yMi4yL0NvbXBp bGVySWRDWFgvQ01ha2VDWFhDb21waWxlcklkLmNwcAorCSMgICBTZWU6IGh0dHBzOi8vZ2l0aHVi LmNvbS92b2lkLWxpbnV4L3ZvaWQtcGFja2FnZXMvcHVsbC8zNTkwNworCSMgY29tcGxldGVfdHJh aWxpbmdfcGVyaW9kOiBmYWlscyBvbiBpNjg2CisJIwlTZWU6IGh0dHBzOi8vZ2l0aHViLmNvbS9s ZWFucHJvdmVyLWNvbW11bml0eS9sZWFuL2lzc3Vlcy82ODUKKwljdGVzdCAtRSAnc3R5bGVfY2hl Y2t8Y29tcGxldGVfdHJhaWxpbmdfcGVyaW9kJworfQo= --===============6546897774879708226==--