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 22083 invoked from network); 16 Nov 2022 18:12:00 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 16 Nov 2022 18:12:00 -0000 Content-Type: multipart/mixed; boundary="===============0196392288499509642==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BUpdated=5D_New_package=3A_mathlibtools-1=2E1=2E2?= To: ml@inbox.vuxu.org From: Eloitor Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Wed, 16 Nov 2022 19:12:00 +0100 List-Id: Message-ID: <20221116181200.b09TWeqJWglPzQQYZKO9VaLEcGULNloxCtmFBI4pix0@z> GitHub notification mails are now in MIME to allow UTF8. --===============0196392288499509642== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgRWxvaXRvciBhZ2FpbnN0IG1hc3Rl ciBvbiB0aGUgdm9pZC1wYWNrYWdlcyByZXBvc2l0b3J5CgpodHRwczovL2dpdGh1Yi5jb20vRWxv aXRvci92b2lkLXBhY2thZ2VzIG1hdGhsaWJ0b29scwpodHRwczovL2dpdGh1Yi5jb20vdm9pZC1s aW51eC92b2lkLXBhY2thZ2VzL3B1bGwvMzczMTUKCk5ldyBwYWNrYWdlOiBtYXRobGlidG9vbHMt MS4xLjIKPCEtLSBVbmNvbW1lbnQgcmVsZXZhbnQgc2VjdGlvbnMgYW5kIGRlbGV0ZSBvcHRpb25z IHdoaWNoIGFyZSBub3QgYXBwbGljYWJsZSAtLT4NCg0KIyMjIyBUZXN0aW5nIHRoZSBjaGFuZ2Vz DQotIEkgdGVzdGVkIHRoZSBjaGFuZ2VzIGluIHRoaXMgUFI6ICoqYnJpZWZseSoqDQoNCiMjIyMg TmV3IHBhY2thZ2UNCi0gVGhpcyBuZXcgcGFja2FnZSBjb25mb3JtcyB0byB0aGUgW3F1YWxpdHkg cmVxdWlyZW1lbnRzXShodHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2thZ2Vz L2Jsb2IvbWFzdGVyL01hbnVhbC5tZCNxdWFsaXR5LXJlcXVpcmVtZW50cyk6ICoqWUVTKioNCg0K IyMjIyBMb2NhbCBidWlsZCB0ZXN0aW5nDQotIEkgYnVpbHQgdGhpcyBQUiBsb2NhbGx5IGZvciBt eSBuYXRpdmUgYXJjaGl0ZWN0dXJlLCB4ODYtNjQNCg0KSSBkb24ndCBrbm93IGhvdyB0byBtYWtl IHRoaXMgd29yazoNCjEuIEluc3RhbGwgYGVsYW5gIGZvbGxvd2luZyB0aGUgaW5zdHJ1Y3Rpb25z IGZyb20gaHR0cHM6Ly9sZWFucHJvdmVyLWNvbW11bml0eS5naXRodWIuaW8vaW5zdGFsbC9saW51 eC5odG1sDQoyLiBydW4gYHNvdXJjZSAkSE9NRS8uZWxhbi9lbnZgDQozLiBJbnN0YWxsIGBtYXRo bGlidG9vbHNgIGZyb20gdGhpcyB0ZW1wbGF0ZQ0KDQpUaGlzIGlzIHRoZSBvdXRwdXQgb2YgYGxl YW5wcm9qZWN0IGdldCB0dXRvcmlhbHNgDQpgYGANCkNsb25pbmcgZnJvbSBnaXRAZ2l0aHViLmNv bTpsZWFucHJvdmVyLWNvbW11bml0eS90dXRvcmlhbHMuZ2l0DQpFcnJvciBjbG9uaW5nIHZpYSBT U0gsIHRyeWluZyBIVFRQUy4uLg0KQ2xvbmluZyBmcm9tIGh0dHBzOi8vZ2l0aHViLmNvbS9sZWFu cHJvdmVyLWNvbW11bml0eS90dXRvcmlhbHMuZ2l0DQpjb25maWd1cmluZyB0dXRvIDAuMQ0KV0FS TklORzogbGVhbnBrZyBjb25maWd1cmF0aW9ucyBub3Qgc3BlY2lmeWluZyBgcGF0aCA9ICJzcmMi YCBhcmUgZGVwcmVjYXRlZC4NCm1hdGhsaWI6IGNsb25pbmcgaHR0cHM6Ly9naXRodWIuY29tL2xl YW5wcm92ZXItY29tbXVuaXR5L21hdGhsaWIgdG8gX3RhcmdldC9kZXBzL21hdGhsaWINCj4gZ2l0 IGNsb25lIGh0dHBzOi8vZ2l0aHViLmNvbS9sZWFucHJvdmVyLWNvbW11bml0eS9tYXRobGliIF90 YXJnZXQvZGVwcy9tYXRobGliDQpTJ2VzdMOgIGNsb25hbnQgYSDCq190YXJnZXQvZGVwcy9tYXRo bGliwrsuLi4NCnJlbW90ZTogRW51bWVyYXRpbmcgb2JqZWN0czogMjkxNzk4LCBkb25lLg0KcmVt b3RlOiBDb3VudGluZyBvYmplY3RzOiAxMDAlICgyMTU3LzIxNTcpLCBkb25lLg0KcmVtb3RlOiBD b21wcmVzc2luZyBvYmplY3RzOiAxMDAlICg4NTYvODU2KSwgZG9uZS4NCnJlbW90ZTogVG90YWwg MjkxNzk4IChkZWx0YSAxNjEyKSwgcmV1c2VkIDE3MDEgKGRlbHRhIDEzMDEpLCBwYWNrLXJldXNl ZCAyODk2NDENClMnZXN0YW4gcmViZW50IG9iamVjdGVzOiAxMDAlICgyOTE3OTgvMjkxNzk4KSwg MTU1Ljg2IE1pQiB8IDQuNTYgTWlCL3MsIGZldC4NClMnZXN0YW4gcmVzb2xlbnQgbGVzIGRpZmVy w6huY2llczogMTAwJSAoMjMzMTgzLzIzMzE4MyksIGZldC4NCj4gZ2l0IGNoZWNrb3V0IC0tZGV0 YWNoIDE3ODQ1NmZmZWZkZGY4MGRlYzNiMjYyNjJjZWJjODhjNTk2ZTQ5NjkgICAgIyBpbiBkaXJl Y3RvcnkgX3RhcmdldC9kZXBzL21hdGhsaWINCkhFQUQgYXJhIMOpcyBhIDE3ODQ1NmZmZWYgZmVh dChzZXRfdGhlb3J5L3N1cnJlYWwvYmFzaWMpOiBkZWZpbml0aW9uIG9mIGDiiaRgIGFuZCBgPGAg b24gbnVtZXJpYyBnYW1lcyAoIzE0MTY5KQ0KTG9va2luZyBmb3IgbWF0aGxpYiBvbGVhbnMgZm9y IDE3ODQ1NmZmZWYNCiAgbG9jYWxseS4uLg0KICBGb3VuZCBsb2NhbCBtYXRobGliIG9sZWFucw0K TG9jYXRlZCBtYXRjaGluZyBjYWNoZQ0KQXBwbHlpbmcgY2FjaGUNCiAgZmlsZXMgZXh0cmFjdGVk OiAxIFswMDowMCwgMjI4LjI5L3NdDQoNCkFib3J0ZWQhDQpgYGANCg0KSSBkb24ndCBrbm93IHdo YXQgaXMgaGFwcGVuaW5nLiBJdCBzaG91bGQgZG93bmxvYWQgdGhlIGNhY2hlZCBvbGVhbnMuDQoN ClVwZGF0ZTogVGhpcyBhbHNvIGhhcHBlbnMgd2l0aCBtYXRobGlidG9vbHMgaW5zdGFsbGVkIGZy b20gcGlweC4uLgoKQSBwYXRjaCBmaWxlIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGlu dXgvdm9pZC1wYWNrYWdlcy9wdWxsLzM3MzE1LnBhdGNoIGlzIGF0dGFjaGVk --===============0196392288499509642== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-mathlibtools-37315.patch" RnJvbSAwMDgyNTk3MWU2Y2M1MjgwNTEyN2ViYTJjYWRkMGY3Nzc4YjM3ZjY3IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBFbG9pIFRvcnJlbnRzIDxlbG9pdG9yQGRpc3Jvb3Qub3JnPgpE YXRlOiBXZWQsIDE2IE5vdiAyMDIyIDE5OjA5OjIwICswMTAwClN1YmplY3Q6IFtQQVRDSCAxLzRd IE5ldyBwYWNrYWdlOiBweXRob24zLVB5R2l0aHViLTEuNTcKCi0tLQogc3JjcGtncy9weXRob24z LVB5R2l0aHViL3RlbXBsYXRlIHwgMTQgKysrKysrKysrKysrKysKIDEgZmlsZSBjaGFuZ2VkLCAx NCBpbnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtncy9weXRob24zLVB5R2l0 aHViL3RlbXBsYXRlCgpkaWZmIC0tZ2l0IGEvc3JjcGtncy9weXRob24zLVB5R2l0aHViL3RlbXBs YXRlIGIvc3JjcGtncy9weXRob24zLVB5R2l0aHViL3RlbXBsYXRlCm5ldyBmaWxlIG1vZGUgMTAw NjQ0CmluZGV4IDAwMDAwMDAwMDAwMC4uOTM0ODA3ODIxMGY4Ci0tLSAvZGV2L251bGwKKysrIGIv c3JjcGtncy9weXRob24zLVB5R2l0aHViL3RlbXBsYXRlCkBAIC0wLDAgKzEsMTQgQEAKKyMgVGVt cGxhdGUgZmlsZSBmb3IgJ3B5dGhvbjMtUHlHaXRodWInCitwa2duYW1lPXB5dGhvbjMtUHlHaXRo dWIKK3ZlcnNpb249MS41NworcmV2aXNpb249MQorYnVpbGRfc3R5bGU9cHl0aG9uMy1tb2R1bGUK K2hvc3RtYWtlZGVwZW5kcz0icHl0aG9uMy1zZXR1cHRvb2xzIgorZGVwZW5kcz0icHl0aG9uMy1E ZXByZWNhdGVkIHB5dGhvbjMtUHlKV1QgcHl0aG9uMy1yZXF1ZXN0cyIKK2NoZWNrZGVwZW5kcz0i JGRlcGVuZHMgcHl0aG9uMy1odHRwcmV0dHkgcHl0aG9uMy1uYWNsIHB5dGhvbjMtcHl0ZXN0Igor c2hvcnRfZGVzYz0iUHl0aG9uIGxpYnJhcnkgdG8gYWNjZXNzIEdpdGh1YiBBUEkgdjMiCittYWlu dGFpbmVyPSJFbG9pIFRvcnJlbnRzIDxlbG9pdG9yQGRpc3Jvb3Qub3JnPiIKK2xpY2Vuc2U9IkxH UEwtMy4wLW9yLWxhdGVyIgoraG9tZXBhZ2U9Imh0dHBzOi8vZ2l0aHViLmNvbS9QeUdpdGh1Yi9Q eUdpdGh1YiIKK2Rpc3RmaWxlcz0iaHR0cHM6Ly9naXRodWIuY29tL1B5R2l0aHViL1B5R2l0aHVi L2FyY2hpdmUvdiR7dmVyc2lvbn0udGFyLmd6IgorY2hlY2tzdW09OTg5ZjMwZDEyM2ViODZjMjdl NjljMjNjZThmNzJjM2EzMzkxZjFlNjZlY2I1NGVlOGNkMDMzMjQyZDdhYTA2NAoKRnJvbSBmMTMw YzE5MzY3MWY2ZWI5NmM0ZGUxYjQ1NTRlOTk5MTQ3MDAzOTljIE1vbiBTZXAgMTcgMDA6MDA6MDAg MjAwMQpGcm9tOiBFbG9pIFRvcnJlbnRzIDxlbG9pdG9yQGRpc3Jvb3Qub3JnPgpEYXRlOiBXZWQs IDE2IE5vdiAyMDIyIDE5OjA5OjU0ICswMTAwClN1YmplY3Q6IFtQQVRDSCAyLzRdIE5ldyBwYWNr YWdlOiBweXRob24zLWh0dHByZXR0eS0xLjEuNAoKLS0tCiBzcmNwa2dzL3B5dGhvbjMtaHR0cHJl dHR5L3RlbXBsYXRlIHwgMTkgKysrKysrKysrKysrKysrKysrKwogMSBmaWxlIGNoYW5nZWQsIDE5 IGluc2VydGlvbnMoKykKIGNyZWF0ZSBtb2RlIDEwMDY0NCBzcmNwa2dzL3B5dGhvbjMtaHR0cHJl dHR5L3RlbXBsYXRlCgpkaWZmIC0tZ2l0IGEvc3JjcGtncy9weXRob24zLWh0dHByZXR0eS90ZW1w bGF0ZSBiL3NyY3BrZ3MvcHl0aG9uMy1odHRwcmV0dHkvdGVtcGxhdGUKbmV3IGZpbGUgbW9kZSAx MDA2NDQKaW5kZXggMDAwMDAwMDAwMDAwLi5lODg4NjY1ZTc1ZTUKLS0tIC9kZXYvbnVsbAorKysg Yi9zcmNwa2dzL3B5dGhvbjMtaHR0cHJldHR5L3RlbXBsYXRlCkBAIC0wLDAgKzEsMTkgQEAKKyMg VGVtcGxhdGUgZmlsZSBmb3IgJ3B5dGhvbjMtaHR0cHJldHR5JworcGtnbmFtZT1weXRob24zLWh0 dHByZXR0eQordmVyc2lvbj0xLjEuNAorcmV2aXNpb249MQorYnVpbGRfc3R5bGU9cHl0aG9uMy1t b2R1bGUKK2hvc3RtYWtlZGVwZW5kcz0icHl0aG9uMy1zZXR1cHRvb2xzIgorZGVwZW5kcz0icHl0 aG9uMyIKK2NoZWNrZGVwZW5kcz0icHl0aG9uMy1kZXZlbCBweXRob24zLXNldHVwdG9vbHMiCitz aG9ydF9kZXNjPSJIVFRQIGNsaWVudCBtb2NraW5nIHRvb2wgZm9yIFB5dGhvbiIKK21haW50YWlu ZXI9IkVsb2kgVG9ycmVudHMgPGVsb2l0b3JAZGlzcm9vdC5vcmc+IgorbGljZW5zZT0iTUlUIgor aG9tZXBhZ2U9Imh0dHBzOi8vZ2l0aHViLmNvbS9nYWJyaWVsZmFsY2FvL0hUVFByZXR0eSIKK2Rp c3RmaWxlcz0iaHR0cHM6Ly9naXRodWIuY29tL2dhYnJpZWxmYWxjYW8vSFRUUHJldHR5L2FyY2hp dmUvJHt2ZXJzaW9ufS50YXIuZ3oiCitjaGVja3N1bT04MjliOThmYTdhNDY3ZmYyZjZiMjBhOGRk MTVhYTJlODAwOTBjMjkxMmQyYmExZmQ5ZjQ3ZWJmYjFiNzA1YTc0CittYWtlX2NoZWNrPW5vICMg cmVxdWlyZXMgc3BoaW54Y29udHJpYi1hc2NpaW5lbWEKKworcG9zdF9pbnN0YWxsKCkgeworCXZs aWNlbnNlIENPUFlJTkcKK30KCkZyb20gMjIzOTk0OWIxNGVhOTUxOWRlMzRiMTk4YmM2MDZmMGMw MTQ1YjJkYSBNb24gU2VwIDE3IDAwOjAwOjAwIDIwMDEKRnJvbTogRWxvaSBUb3JyZW50cyA8ZWxv aXRvckBkaXNyb290Lm9yZz4KRGF0ZTogV2VkLCAxNiBOb3YgMjAyMiAxOToxMDowOSArMDEwMApT dWJqZWN0OiBbUEFUQ0ggMy80XSBOZXcgcGFja2FnZTogcHl0aG9uMy1weWRvdC0xLjQuMgoKLS0t CiBzcmNwa2dzL3B5dGhvbjMtcHlkb3QvdGVtcGxhdGUgfCAxOCArKysrKysrKysrKysrKysrKysK IDEgZmlsZSBjaGFuZ2VkLCAxOCBpbnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3Jj cGtncy9weXRob24zLXB5ZG90L3RlbXBsYXRlCgpkaWZmIC0tZ2l0IGEvc3JjcGtncy9weXRob24z LXB5ZG90L3RlbXBsYXRlIGIvc3JjcGtncy9weXRob24zLXB5ZG90L3RlbXBsYXRlCm5ldyBmaWxl IG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAwMDAwMC4uOTcxZDNlMjg4Zjc0Ci0tLSAvZGV2L251 bGwKKysrIGIvc3JjcGtncy9weXRob24zLXB5ZG90L3RlbXBsYXRlCkBAIC0wLDAgKzEsMTggQEAK KyMgVGVtcGxhdGUgZmlsZSBmb3IgJ3B5dGhvbjMtcHlkb3QnCitwa2duYW1lPXB5dGhvbjMtcHlk b3QKK3ZlcnNpb249MS40LjIKK3JldmlzaW9uPTEKK2J1aWxkX3N0eWxlPXB5dGhvbjMtbW9kdWxl Citob3N0bWFrZWRlcGVuZHM9InB5dGhvbjMtc2V0dXB0b29scyIKK2RlcGVuZHM9InB5dGhvbjMt cGFyc2luZyIKK2NoZWNrZGVwZW5kcz0iJHtkZXBlbmRzfSBweXRob24zLWNoYXJkZXQgZ3JhcGh2 aXoiCitzaG9ydF9kZXNjPSJQeXRob24gaW50ZXJmYWNlIHRvIEdyYXBodml6J3MgRG90IgorbWFp bnRhaW5lcj0iRWxvaSBUb3JyZW50cyA8ZWxvaXRvckBkaXNyb290Lm9yZz4iCitsaWNlbnNlPSJN SVQiCitob21lcGFnZT0iaHR0cHM6Ly9naXRodWIuY29tL3B5ZG90L3B5ZG90IgorZGlzdGZpbGVz PSJodHRwczovL2dpdGh1Yi5jb20vcHlkb3QvcHlkb3QvYXJjaGl2ZS92JHt2ZXJzaW9ufS50YXIu Z3oiCitjaGVja3N1bT1hOTkyZTAxNjc5YWU3ODJiMDhjMTUxYjMyOTc1NGQ2ZDlhZWQ2MWFhMGFh ODE0N2EzODA3NTUyY2ZlMmFkY2Y5CisKK3Bvc3RfaW5zdGFsbCgpIHsKKwl2bGljZW5zZSBMSUNF TlNFCit9CgpGcm9tIGFhZWJkOGYzODFmZjNjMDYxNWE4ZTZjNzU4YTNhYzk2OGU2NDZlYzAgTW9u IFNlcCAxNyAwMDowMDowMCAyMDAxCkZyb206IEVsb2kgVG9ycmVudHMgPGVsb2l0b3JAZGlzcm9v dC5vcmc+CkRhdGU6IFdlZCwgMTYgTm92IDIwMjIgMTk6MDg6NTcgKzAxMDAKU3ViamVjdDogW1BB VENIIDQvNF0gTmV3IHBhY2thZ2U6IG1hdGhsaWJ0b29scy0xLjIuMAoKLS0tCiBzcmNwa2dzL21h dGhsaWJ0b29scy90ZW1wbGF0ZSB8IDE4ICsrKysrKysrKysrKysrKysrKwogMSBmaWxlIGNoYW5n ZWQsIDE4IGluc2VydGlvbnMoKykKIGNyZWF0ZSBtb2RlIDEwMDY0NCBzcmNwa2dzL21hdGhsaWJ0 b29scy90ZW1wbGF0ZQoKZGlmZiAtLWdpdCBhL3NyY3BrZ3MvbWF0aGxpYnRvb2xzL3RlbXBsYXRl IGIvc3JjcGtncy9tYXRobGlidG9vbHMvdGVtcGxhdGUKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5k ZXggMDAwMDAwMDAwMDAwLi5lOTYxM2I4N2YyZDUKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dz L21hdGhsaWJ0b29scy90ZW1wbGF0ZQpAQCAtMCwwICsxLDE4IEBACisjIFRlbXBsYXRlIGZpbGUg Zm9yICdtYXRobGlidG9vbHMnCitwa2duYW1lPW1hdGhsaWJ0b29scwordmVyc2lvbj0xLjIuMAor cmV2aXNpb249MQorIyB3cmtzcmM9bWF0aGxpYi10b29scy0ke3ZlcnNpb259CitidWlsZF9zdHls ZT1weXRob24zLW1vZHVsZQoraG9zdG1ha2VkZXBlbmRzPSJweXRob24zLXNldHVwdG9vbHMiCitk ZXBlbmRzPSJweXRob24zLXRvbWwgcHl0aG9uMy1QeUdpdGh1YiBweXRob24zLWNlcnRpZmkgcHl0 aG9uMy1HaXRQeXRob24KKyBweXRob24zLXJlcXVlc3RzIHB5dGhvbjMtY2xpY2sgcHl0aG9uMy10 cWRtIHB5dGhvbjMtbmV0d29ya3ggcHl0aG9uMy1weWRvdAorIHB5dGhvbjMteWFtbCBweXRob24z LWF0b21pY3dyaXRlcyBweXRob24zLXBhcmFtaWtvIgorY2hlY2tkZXBlbmRzPSIkZGVwZW5kcyBn aXQgdG94IHB5dGhvbjMtd2hlZWwiCitzaG9ydF9kZXNjPSJTdXBwb3J0aW5nIHRvb2wgZm9yIExl YW4gbWF0aGxpYiIKK21haW50YWluZXI9IkVsb2kgVG9ycmVudHMgPGVsb2l0b3JAZGlzcm9vdC5v cmc+IgorbGljZW5zZT0iQXBhY2hlLTIuMCIKK2hvbWVwYWdlPSJodHRwczovL2dpdGh1Yi5jb20v bGVhbnByb3Zlci1jb21tdW5pdHkvbWF0aGxpYi10b29scyIKK2NoYW5nZWxvZz0iaHR0cHM6Ly9y YXcuZ2l0aHVidXNlcmNvbnRlbnQuY29tL2xlYW5wcm92ZXItY29tbXVuaXR5L21hdGhsaWItdG9v bHMvbWFzdGVyL0NIQU5HRUxPRy5tZCIKK2Rpc3RmaWxlcz0iaHR0cHM6Ly9naXRodWIuY29tL2xl YW5wcm92ZXItY29tbXVuaXR5L21hdGhsaWItdG9vbHMvYXJjaGl2ZS92JHt2ZXJzaW9ufS50YXIu Z3oiCitjaGVja3N1bT1iZjQ2YjM4MjIzNzA3MDViODgyMjUyMzY0OTA4MzY2NjBlYzgyNTZjMzY5 ZmMxNjM5ZDRjZjE5YTMzMTY0ZjgyCg== --===============0196392288499509642==--