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 autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 8348 invoked from network); 16 Oct 2021 13:07:42 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 16 Oct 2021 13:07:42 -0000 Content-Type: multipart/mixed; boundary="===============5934842657786463159==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BUpdated=5D_New_package=3A_mathlibtools-1=2E1=2E0?= To: ml@inbox.vuxu.org From: ram02z Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Sat, 16 Oct 2021 15:07:41 +0200 List-Id: Message-ID: <20211016130741.CxsGA8Sh90cF58mFmkEG_IIOJvM_She720CaS9Vo4_4@z> GitHub notification mails are now in MIME to allow UTF8. --===============5934842657786463159== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgcmFtMDJ6IGFnYWluc3QgbWFzdGVy IG9uIHRoZSB2b2lkLXBhY2thZ2VzIHJlcG9zaXRvcnkKCmh0dHBzOi8vZ2l0aHViLmNvbS9yYW0w Mnovdm9pZC1wYWNrYWdlcyBtYXRobGlidG9vbHMKaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGlu dXgvdm9pZC1wYWNrYWdlcy9wdWxsLzMzNTg3CgpOZXcgcGFja2FnZTogbWF0aGxpYnRvb2xzLTEu MS4wCjwhLS0gTWFyayBpdGVtcyB3aXRoIFt4XSB3aGVyZSBhcHBsaWNhYmxlIC0tPg0KDQojIyMj IEdlbmVyYWwNCi0gW3hdIFRoaXMgaXMgYSBuZXcgcGFja2FnZSBhbmQgaXQgY29uZm9ybXMgdG8g dGhlIFtxdWFsaXR5IHJlcXVpcmVtZW50c10oaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgv dm9pZC1wYWNrYWdlcy9ibG9iL21hc3Rlci9NYW51YWwubWQjcXVhbGl0eS1yZXF1aXJlbWVudHMp DQoNCiMjIyMgSGF2ZSB0aGUgcmVzdWx0cyBvZiB0aGUgcHJvcG9zZWQgY2hhbmdlcyBiZWVuIHRl c3RlZD8NCi0gW3hdIEkgdXNlIHRoZSBwYWNrYWdlcyBhZmZlY3RlZCBieSB0aGUgcHJvcG9zZWQg Y2hhbmdlcyBvbiBhIHJlZ3VsYXIgYmFzaXMgYW5kIGNvbmZpcm0gdGhpcyBQUiB3b3JrcyBmb3Ig bWUNCi0gWyBdIEkgZ2VuZXJhbGx5IGRvbid0IHVzZSB0aGUgYWZmZWN0ZWQgcGFja2FnZXMgYnV0 IGJyaWVmbHkgdGVzdGVkIHRoaXMgUFINCg0KaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgv dm9pZC1wYWNrYWdlcy9wdWxsLzMyNTU2I2lzc3VlY29tbWVudC05MDA5MzM0NjggbWVudGlvbmVk IG1hdGhsaWJ0b29scyBub3QgYmVpbmcgcGFja2FnZWQgKGN1cnJlbnRseSB1c2luZyBwaXAgdG8g aW5zdGFsbCBpdCkuDQoNCnB5dGhvbjMtRGVwcmVjYXRlZCBhbmQgcHl0aG9uMy1QeUdpdGh1YiB0 ZW1wbGF0ZXMgYXJlIGFkYXB0ZWQgZnJvbSBodHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92 b2lkLXBhY2thZ2VzL3B1bGwvMjg4NjUNCg0KV29uZGVyaW5nIGlmIEkgc2hvdWxkIGFkZCBncmFw aHZpeiBhcyBhIGRlcGVuZHMgZm9yIHB5dGhvbjMtcHlkb3QuDQoNCjwhLS0NCklmIEdpdEh1YiBD SSBjYW5ub3QgYmUgdXNlZCB0byB2YWxpZGF0ZSB0aGUgYnVpbGQgcmVzdWx0IChmb3IgZXhhbXBs ZSwgaWYgdGhlDQpidWlsZCBpcyBsaWtlbHkgdG8gdGFrZSBzZXZlcmFsIGhvdXJzKSwgbWFrZSBz dXJlIHRvDQpbc2tpcCBDSV0oaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNr YWdlcy9ibG9iL21hc3Rlci9DT05UUklCVVRJTkcubWQjY29udGludW91cy1pbnRlZ3JhdGlvbiku DQpXaGVuIHNraXBwaW5nIENJLCB1bmNvbW1lbnQgYW5kIGZpbGwgb3V0IHRoZSBmb2xsb3dpbmcg c2VjdGlvbi4NCk5vdGU6IGZvciBidWlsZHMgdGhhdCBhcmUgbGlrZWx5IHRvIGNvbXBsZXRlIGlu IGxlc3MgdGhhbiAyIGhvdXJzLCBpdCBpcyBub3QNCmFjY2VwdGFibGUgdG8gc2tpcCBDSS4NCi0t Pg0KPCEtLSANCiMjIyMgRG9lcyBpdCBidWlsZCBhbmQgcnVuIHN1Y2Nlc3NmdWxseT8gDQooUGxl YXNlIGNob29zZSBhdCBsZWFzdCBvbmUgbmF0aXZlIGJ1aWxkIGFuZCwgaWYgc3VwcG9ydGVkLCBh dCBsZWFzdCBvbmUgY3Jvc3MgYnVpbGQuIE1vcmUgYXJlIGJldHRlci4pDQotIFsgXSBJIGJ1aWx0 IHRoaXMgUFIgbG9jYWxseSBmb3IgbXkgbmF0aXZlIGFyY2hpdGVjdHVyZSwgKEFSQ0gtTElCQykN Ci0gWyBdIEkgYnVpbHQgdGhpcyBQUiBsb2NhbGx5IGZvciB0aGVzZSBhcmNoaXRlY3R1cmVzIChp ZiBzdXBwb3J0ZWQuIG1hcmsgY3Jvc3NidWlsZHMpOg0KICAtIFsgXSBhYXJjaDY0LW11c2wNCiAg LSBbIF0gYXJtdjdsDQogIC0gWyBdIGFybXY2bC1tdXNsDQotLT4NCgoKQSBwYXRjaCBmaWxlIGZy b20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9wdWxsLzMzNTg3 LnBhdGNoIGlzIGF0dGFjaGVk --===============5934842657786463159== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-mathlibtools-33587.patch" RnJvbSA2MDJjMzU0MDcxZGM0OWQzYzk4ZDZmNjZlOTc1ZDAwYTg3NDRiN2JmIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBPbWFyIFplZ2hvdWFuaSA8b21hcnplZ2hvdWFuaWlAZ21haWwu Y29tPgpEYXRlOiBTYXQsIDE2IE9jdCAyMDIxIDEzOjEzOjAxICswMTAwClN1YmplY3Q6IFtQQVRD SCAxLzRdIE5ldyBwYWNrYWdlOiBweXRob24zLURlcHJlY2F0ZWQtMS4yLjEzCgotLS0KIHNyY3Br Z3MvcHl0aG9uMy1EZXByZWNhdGVkL3RlbXBsYXRlIHwgMTkgKysrKysrKysrKysrKysrKysrKwog MSBmaWxlIGNoYW5nZWQsIDE5IGluc2VydGlvbnMoKykKIGNyZWF0ZSBtb2RlIDEwMDY0NCBzcmNw a2dzL3B5dGhvbjMtRGVwcmVjYXRlZC90ZW1wbGF0ZQoKZGlmZiAtLWdpdCBhL3NyY3BrZ3MvcHl0 aG9uMy1EZXByZWNhdGVkL3RlbXBsYXRlIGIvc3JjcGtncy9weXRob24zLURlcHJlY2F0ZWQvdGVt cGxhdGUKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAwLi5kMTg3MDAwYTAx NWYKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dzL3B5dGhvbjMtRGVwcmVjYXRlZC90ZW1wbGF0 ZQpAQCAtMCwwICsxLDE5IEBACisjIFRlbXBsYXRlIGZpbGUgZm9yICdweXRob24zLURlcHJlY2F0 ZWQnCitwa2duYW1lPXB5dGhvbjMtRGVwcmVjYXRlZAordmVyc2lvbj0xLjIuMTMKK3JldmlzaW9u PTEKK3dya3NyYz1kZXByZWNhdGVkLSR7dmVyc2lvbn0KK2J1aWxkX3N0eWxlPXB5dGhvbjMtbW9k dWxlCitob3N0bWFrZWRlcGVuZHM9InB5dGhvbjMtc2V0dXB0b29scyIKK2RlcGVuZHM9InB5dGhv bjMtd3JhcHQiCitjaGVja2RlcGVuZHM9IiRkZXBlbmRzIHB5dGhvbjMtcHl0ZXN0Igorc2hvcnRf ZGVzYz0iRGVjb3JhdG9yIHRvIGRlcHJlY2F0ZSBvbGQgcHl0aG9uIGNsYXNzZXMiCittYWludGFp bmVyPSJPbWFyIFplZ2hvdWFuaSA8b21hcnplZ2hvdWFuaWlAZ21haWwuY29tPiIKK2xpY2Vuc2U9 Ik1JVCIKK2hvbWVwYWdlPSJodHRwczovL2dpdGh1Yi5jb20vdGFudGFsZS9kZXByZWNhdGVkIgor ZGlzdGZpbGVzPSJodHRwczovL2dpdGh1Yi5jb20vdGFudGFsZS9kZXByZWNhdGVkL2FyY2hpdmUv diR7dmVyc2lvbn0udGFyLmd6IgorY2hlY2tzdW09NzcxZTIwZTkzYmI0YmM0OTdiZDk5NTU4Mjlk MzYwNzRkZDc2MDg5NjI4NDZjMGIzNGE5MmZmNjhlZDdlYmFkOQorCitwb3N0X2luc3RhbGwoKSB7 CisJdmxpY2Vuc2UgTElDRU5TRS5yc3QKK30KCkZyb20gZTM3OGFjZmZiMWI2ZTRhY2EzODg1ZGRk NTAxZDhhNTg0N2ZhMDI5NCBNb24gU2VwIDE3IDAwOjAwOjAwIDIwMDEKRnJvbTogT21hciBaZWdo b3VhbmkgPG9tYXJ6ZWdob3VhbmlpQGdtYWlsLmNvbT4KRGF0ZTogU2F0LCAxNiBPY3QgMjAyMSAx MzoxMzoxNCArMDEwMApTdWJqZWN0OiBbUEFUQ0ggMi80XSBOZXcgcGFja2FnZTogcHl0aG9uMy1Q eUdpdGh1Yi0xLjU1CgotLS0KIHNyY3BrZ3MvcHl0aG9uMy1QeUdpdGh1Yi90ZW1wbGF0ZSB8IDE1 ICsrKysrKysrKysrKysrKwogMSBmaWxlIGNoYW5nZWQsIDE1IGluc2VydGlvbnMoKykKIGNyZWF0 ZSBtb2RlIDEwMDY0NCBzcmNwa2dzL3B5dGhvbjMtUHlHaXRodWIvdGVtcGxhdGUKCmRpZmYgLS1n aXQgYS9zcmNwa2dzL3B5dGhvbjMtUHlHaXRodWIvdGVtcGxhdGUgYi9zcmNwa2dzL3B5dGhvbjMt UHlHaXRodWIvdGVtcGxhdGUKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAw Li42MmI3NzhhMzc4N2QKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dzL3B5dGhvbjMtUHlHaXRo dWIvdGVtcGxhdGUKQEAgLTAsMCArMSwxNSBAQAorIyBUZW1wbGF0ZSBmaWxlIGZvciAncHl0aG9u My1QeUdpdGh1YicKK3BrZ25hbWU9cHl0aG9uMy1QeUdpdGh1YgordmVyc2lvbj0xLjU1CityZXZp c2lvbj0xCit3cmtzcmM9UHlHaXRodWItJHt2ZXJzaW9ufQorYnVpbGRfc3R5bGU9cHl0aG9uMy1t b2R1bGUKK2hvc3RtYWtlZGVwZW5kcz0icHl0aG9uMy1zZXR1cHRvb2xzIgorZGVwZW5kcz0icHl0 aG9uMy1EZXByZWNhdGVkIHB5dGhvbjMtUHlKV1QgcHl0aG9uMy1yZXF1ZXN0cyIKK3Nob3J0X2Rl c2M9IlB5dGhvbiBsaWJyYXJ5IHRvIGFjY2VzcyBHaXRodWIgQVBJIHYzIgorbWFpbnRhaW5lcj0i T21hciBaZWdob3VhbmkgPG9tYXJ6ZWdob3VhbmlpQGdtYWlsLmNvbT4iCitsaWNlbnNlPSJMR1BM LTMuMC1vci1sYXRlciIKK2hvbWVwYWdlPSJodHRwczovL2dpdGh1Yi5jb20vUHlHaXRodWIvUHlH aXRodWIiCitkaXN0ZmlsZXM9Imh0dHBzOi8vZ2l0aHViLmNvbS9QeUdpdGh1Yi9QeUdpdGh1Yi9h cmNoaXZlL3Yke3ZlcnNpb259LnRhci5neiIKK2NoZWNrc3VtPWM2NzRlNWNjZWJhMWYyY2YwZDdl YTc5ZGE2NmNmMzFmMTEzMWU4NmM0MWNkNjZhMjMzMDg5MGY3NDMyN2MwZTEKK21ha2VfY2hlY2s9 bm8gIyByZXF1aXJlcyBodHRwcmV0dHkKCkZyb20gNWU0ODc2YzY0MjU1NDY2MDIyYWM3NzZhMDIw M2U4ZjRhZWFiNjhmZiBNb24gU2VwIDE3IDAwOjAwOjAwIDIwMDEKRnJvbTogT21hciBaZWdob3Vh bmkgPG9tYXJ6ZWdob3VhbmlpQGdtYWlsLmNvbT4KRGF0ZTogU2F0LCAxNiBPY3QgMjAyMSAxMzox MzoyMSArMDEwMApTdWJqZWN0OiBbUEFUQ0ggMy80XSBOZXcgcGFja2FnZTogcHl0aG9uMy1weWRv dC0xLjQuMgoKLS0tCiBzcmNwa2dzL3B5dGhvbjMtcHlkb3QvdGVtcGxhdGUgfCAxOSArKysrKysr KysrKysrKysrKysrCiAxIGZpbGUgY2hhbmdlZCwgMTkgaW5zZXJ0aW9ucygrKQogY3JlYXRlIG1v ZGUgMTAwNjQ0IHNyY3BrZ3MvcHl0aG9uMy1weWRvdC90ZW1wbGF0ZQoKZGlmZiAtLWdpdCBhL3Ny Y3BrZ3MvcHl0aG9uMy1weWRvdC90ZW1wbGF0ZSBiL3NyY3BrZ3MvcHl0aG9uMy1weWRvdC90ZW1w bGF0ZQpuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAwMDAwMDAwMDAwMDAuLjM3OTZkZmRkYzBh MAotLS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3MvcHl0aG9uMy1weWRvdC90ZW1wbGF0ZQpAQCAt MCwwICsxLDE5IEBACisjIFRlbXBsYXRlIGZpbGUgZm9yICdweXRob24zLXB5ZG90JworcGtnbmFt ZT1weXRob24zLXB5ZG90Cit2ZXJzaW9uPTEuNC4yCityZXZpc2lvbj0xCit3cmtzcmM9cHlkb3Qt JHt2ZXJzaW9ufQorYnVpbGRfc3R5bGU9cHl0aG9uMy1tb2R1bGUKK2hvc3RtYWtlZGVwZW5kcz0i cHl0aG9uMy1zZXR1cHRvb2xzIgorZGVwZW5kcz0icHl0aG9uLXBhcnNpbmciCitjaGVja2RlcGVu ZHM9InB5dGhvbjMtcGlwIHB5dGhvbjMtd2hlZWwgcHl0aG9uMy1jaGFyZGV0Igorc2hvcnRfZGVz Yz0iUHl0aG9uIGludGVyZmFjZSB0byBHcmFwaHZpeidzIERvdCIKK21haW50YWluZXI9Ik9tYXIg WmVnaG91YW5pIDxvbWFyemVnaG91YW5paUBnbWFpbC5jb20+IgorbGljZW5zZT0iTUlUIgoraG9t ZXBhZ2U9Imh0dHBzOi8vZ2l0aHViLmNvbS9weWRvdC9weWRvdCIKK2Rpc3RmaWxlcz0iaHR0cHM6 Ly9naXRodWIuY29tL3B5ZG90L3B5ZG90L2FyY2hpdmUvdiR7dmVyc2lvbn0udGFyLmd6IgorY2hl Y2tzdW09YTk5MmUwMTY3OWFlNzgyYjA4YzE1MWIzMjk3NTRkNmQ5YWVkNjFhYTBhYTgxNDdhMzgw NzU1MmNmZTJhZGNmOQorCitwb3N0X2luc3RhbGwoKSB7CisJdmxpY2Vuc2UgTElDRU5TRQorfQoK RnJvbSBlNjVkMzMxMzBiZDRmYTcxMDZkNWY0YjU1N2FlMDI3YWNkYzBmZWYwIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBPbWFyIFplZ2hvdWFuaSA8b21hcnplZ2hvdWFuaWlAZ21haWwu Y29tPgpEYXRlOiBTYXQsIDE2IE9jdCAyMDIxIDEzOjEzOjM1ICswMTAwClN1YmplY3Q6IFtQQVRD SCA0LzRdIE5ldyBwYWNrYWdlOiBtYXRobGlidG9vbHMtMS4xLjAKCi0tLQogc3JjcGtncy9tYXRo bGlidG9vbHMvdGVtcGxhdGUgfCAxOCArKysrKysrKysrKysrKysrKysKIDEgZmlsZSBjaGFuZ2Vk LCAxOCBpbnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtncy9tYXRobGlidG9v bHMvdGVtcGxhdGUKCmRpZmYgLS1naXQgYS9zcmNwa2dzL21hdGhsaWJ0b29scy90ZW1wbGF0ZSBi L3NyY3BrZ3MvbWF0aGxpYnRvb2xzL3RlbXBsYXRlCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4 IDAwMDAwMDAwMDAwMC4uMjA3Njc5OWQ4NjYxCi0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9t YXRobGlidG9vbHMvdGVtcGxhdGUKQEAgLTAsMCArMSwxOCBAQAorIyBUZW1wbGF0ZSBmaWxlIGZv ciAnbWF0aGxpYnRvb2xzJworcGtnbmFtZT1tYXRobGlidG9vbHMKK3ZlcnNpb249MS4xLjAKK3Jl dmlzaW9uPTEKK3dya3NyYz1tYXRobGliLXRvb2xzLSR7dmVyc2lvbn0KK2J1aWxkX3N0eWxlPXB5 dGhvbjMtbW9kdWxlCitob3N0bWFrZWRlcGVuZHM9InB5dGhvbjMtc2V0dXB0b29scyIKK2RlcGVu ZHM9InB5dGhvbjMtdG9tbCBweXRob24zLVB5R2l0aHViIHB5dGhvbjMtY2VydGlmaSBweXRob24z LUdpdFB5dGhvbgorIHB5dGhvbjMtcmVxdWVzdHMgcHl0aG9uMy1jbGljayBweXRob24zLXRxZG0g cHl0aG9uMy1uZXR3b3JreCBweXRob24zLXB5ZG90CisgcHl0aG9uMy15YW1sIHB5dGhvbjMtYXRv bWljd3JpdGVzIHB5dGhvbjMtcGFyYW1pa28iCitjaGVja2RlcGVuZHM9InB5dGhvbjMtcGlwIHB5 dGhvbjMtd2hlZWwgcHl0aG9uMy1kZXZlbCBsaWJmZmktZGV2ZWwgZ2l0Igorc2hvcnRfZGVzYz0i U3VwcG9ydGluZyB0b29sIGZvciBMZWFuIG1hdGhsaWIiCittYWludGFpbmVyPSJPbWFyIFplZ2hv dWFuaSA8b21hcnplZ2hvdWFuaWlAZ21haWwuY29tPiIKK2xpY2Vuc2U9IkFwYWNoZS0yLjAiCito b21lcGFnZT0iaHR0cHM6Ly9naXRodWIuY29tL2xlYW5wcm92ZXItY29tbXVuaXR5L21hdGhsaWIt dG9vbHMiCitjaGFuZ2Vsb2c9Imh0dHBzOi8vcmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbS9sZWFu cHJvdmVyLWNvbW11bml0eS9tYXRobGliLXRvb2xzL21hc3Rlci9DSEFOR0VMT0cubWQiCitkaXN0 ZmlsZXM9Imh0dHBzOi8vZ2l0aHViLmNvbS9sZWFucHJvdmVyLWNvbW11bml0eS9tYXRobGliLXRv b2xzL2FyY2hpdmUvdiR7dmVyc2lvbn0udGFyLmd6IgorY2hlY2tzdW09ZjI0ODFiNDU0NWZkYWQw ODc4MDI0OGRiMGZlMWM4NzllMzc4OGMwMDBlZGEwMTQ0MzMzMzgyMjgyNTVlNzZhZAo= --===============5934842657786463159==--