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 30876 invoked from network); 17 Oct 2021 07:47:43 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 17 Oct 2021 07:47:43 -0000 Content-Type: multipart/mixed; boundary="===============1065294690715059232==" 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: Sun, 17 Oct 2021 09:47:42 +0200 List-Id: Message-ID: <20211017074742.-grrk0_2QMbUnL_rg7PlrSJboFI6JF-B5zE87tm2y8U@z> GitHub notification mails are now in MIME to allow UTF8. --===============1065294690715059232== 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 --===============1065294690715059232== 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 bm8gIyByZXF1aXJlcyBodHRwcmV0dHkKCkZyb20gYmExYzViMzMwNTViOTQ3YWU5MmQwNjcwZTk3 ZWExMWRkMDQ2NDkyOSBNb24gU2VwIDE3IDAwOjAwOjAwIDIwMDEKRnJvbTogT21hciBaZWdob3Vh bmkgPG9tYXJ6ZWdob3VhbmlpQGdtYWlsLmNvbT4KRGF0ZTogU2F0LCAxNiBPY3QgMjAyMSAxMzox MzoyMSArMDEwMApTdWJqZWN0OiBbUEFUQ0ggMy80XSBOZXcgcGFja2FnZTogcHl0aG9uMy1weWRv dC0xLjQuMgoKLS0tCiBzcmNwa2dzL3B5dGhvbjMtcHlkb3QvdGVtcGxhdGUgfCAxOSArKysrKysr KysrKysrKysrKysrCiAxIGZpbGUgY2hhbmdlZCwgMTkgaW5zZXJ0aW9ucygrKQogY3JlYXRlIG1v ZGUgMTAwNjQ0IHNyY3BrZ3MvcHl0aG9uMy1weWRvdC90ZW1wbGF0ZQoKZGlmZiAtLWdpdCBhL3Ny Y3BrZ3MvcHl0aG9uMy1weWRvdC90ZW1wbGF0ZSBiL3NyY3BrZ3MvcHl0aG9uMy1weWRvdC90ZW1w bGF0ZQpuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAwMDAwMDAwMDAwMDAuLmU5MTZkMGMwMGVk ZgotLS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3MvcHl0aG9uMy1weWRvdC90ZW1wbGF0ZQpAQCAt MCwwICsxLDE5IEBACisjIFRlbXBsYXRlIGZpbGUgZm9yICdweXRob24zLXB5ZG90JworcGtnbmFt ZT1weXRob24zLXB5ZG90Cit2ZXJzaW9uPTEuNC4yCityZXZpc2lvbj0xCit3cmtzcmM9cHlkb3Qt JHt2ZXJzaW9ufQorYnVpbGRfc3R5bGU9cHl0aG9uMy1tb2R1bGUKK2hvc3RtYWtlZGVwZW5kcz0i cHl0aG9uMy1zZXR1cHRvb2xzIgorZGVwZW5kcz0icHl0aG9uMy1wYXJzaW5nIgorY2hlY2tkZXBl bmRzPSIke2RlcGVuZHN9IHB5dGhvbjMtY2hhcmRldCBncmFwaHZpeiIKK3Nob3J0X2Rlc2M9IlB5 dGhvbiBpbnRlcmZhY2UgdG8gR3JhcGh2aXoncyBEb3QiCittYWludGFpbmVyPSJPbWFyIFplZ2hv dWFuaSA8b21hcnplZ2hvdWFuaWlAZ21haWwuY29tPiIKK2xpY2Vuc2U9Ik1JVCIKK2hvbWVwYWdl PSJodHRwczovL2dpdGh1Yi5jb20vcHlkb3QvcHlkb3QiCitkaXN0ZmlsZXM9Imh0dHBzOi8vZ2l0 aHViLmNvbS9weWRvdC9weWRvdC9hcmNoaXZlL3Yke3ZlcnNpb259LnRhci5neiIKK2NoZWNrc3Vt PWE5OTJlMDE2NzlhZTc4MmIwOGMxNTFiMzI5NzU0ZDZkOWFlZDYxYWEwYWE4MTQ3YTM4MDc1NTJj ZmUyYWRjZjkKKworcG9zdF9pbnN0YWxsKCkgeworCXZsaWNlbnNlIExJQ0VOU0UKK30KCkZyb20g ZTk5Yzk1ZjNlYmFmYWZkYTFlZWNiN2UyMTQyODljYTJiMWEwODE1YiBNb24gU2VwIDE3IDAwOjAw OjAwIDIwMDEKRnJvbTogT21hciBaZWdob3VhbmkgPG9tYXJ6ZWdob3VhbmlpQGdtYWlsLmNvbT4K RGF0ZTogU2F0LCAxNiBPY3QgMjAyMSAxMzoxMzozNSArMDEwMApTdWJqZWN0OiBbUEFUQ0ggNC80 XSBOZXcgcGFja2FnZTogbWF0aGxpYnRvb2xzLTEuMS4wCgotLS0KIHNyY3BrZ3MvbWF0aGxpYnRv b2xzL3RlbXBsYXRlIHwgMTggKysrKysrKysrKysrKysrKysrCiAxIGZpbGUgY2hhbmdlZCwgMTgg aW5zZXJ0aW9ucygrKQogY3JlYXRlIG1vZGUgMTAwNjQ0IHNyY3BrZ3MvbWF0aGxpYnRvb2xzL3Rl bXBsYXRlCgpkaWZmIC0tZ2l0IGEvc3JjcGtncy9tYXRobGlidG9vbHMvdGVtcGxhdGUgYi9zcmNw a2dzL21hdGhsaWJ0b29scy90ZW1wbGF0ZQpuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAwMDAw MDAwMDAwMDAuLjA3OTYwNzM2OTAwZAotLS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3MvbWF0aGxp YnRvb2xzL3RlbXBsYXRlCkBAIC0wLDAgKzEsMTggQEAKKyMgVGVtcGxhdGUgZmlsZSBmb3IgJ21h dGhsaWJ0b29scycKK3BrZ25hbWU9bWF0aGxpYnRvb2xzCit2ZXJzaW9uPTEuMS4wCityZXZpc2lv bj0xCit3cmtzcmM9bWF0aGxpYi10b29scy0ke3ZlcnNpb259CitidWlsZF9zdHlsZT1weXRob24z LW1vZHVsZQoraG9zdG1ha2VkZXBlbmRzPSJweXRob24zLXNldHVwdG9vbHMiCitkZXBlbmRzPSJw eXRob24zLXRvbWwgcHl0aG9uMy1QeUdpdGh1YiBweXRob24zLWNlcnRpZmkgcHl0aG9uMy1HaXRQ eXRob24KKyBweXRob24zLXJlcXVlc3RzIHB5dGhvbjMtY2xpY2sgcHl0aG9uMy10cWRtIHB5dGhv bjMtbmV0d29ya3ggcHl0aG9uMy1weWRvdAorIHB5dGhvbjMteWFtbCBweXRob24zLWF0b21pY3dy aXRlcyBweXRob24zLXBhcmFtaWtvIgorY2hlY2tkZXBlbmRzPSIkZGVwZW5kcyBnaXQgcHl0aG9u My1kZXZlbCBsaWJmZmktZGV2ZWwiCitzaG9ydF9kZXNjPSJTdXBwb3J0aW5nIHRvb2wgZm9yIExl YW4gbWF0aGxpYiIKK21haW50YWluZXI9Ik9tYXIgWmVnaG91YW5pIDxvbWFyemVnaG91YW5paUBn bWFpbC5jb20+IgorbGljZW5zZT0iQXBhY2hlLTIuMCIKK2hvbWVwYWdlPSJodHRwczovL2dpdGh1 Yi5jb20vbGVhbnByb3Zlci1jb21tdW5pdHkvbWF0aGxpYi10b29scyIKK2NoYW5nZWxvZz0iaHR0 cHM6Ly9yYXcuZ2l0aHVidXNlcmNvbnRlbnQuY29tL2xlYW5wcm92ZXItY29tbXVuaXR5L21hdGhs aWItdG9vbHMvbWFzdGVyL0NIQU5HRUxPRy5tZCIKK2Rpc3RmaWxlcz0iaHR0cHM6Ly9naXRodWIu Y29tL2xlYW5wcm92ZXItY29tbXVuaXR5L21hdGhsaWItdG9vbHMvYXJjaGl2ZS92JHt2ZXJzaW9u fS50YXIuZ3oiCitjaGVja3N1bT1mMjQ4MWI0NTQ1ZmRhZDA4NzgwMjQ4ZGIwZmUxYzg3OWUzNzg4 YzAwMGVkYTAxNDQzMzMzODIyODI1NWU3NmFkCg== --===============1065294690715059232==--