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 14495 invoked from network); 27 May 2022 20:43:14 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 27 May 2022 20:43:14 -0000 Content-Type: multipart/mixed; boundary="===============2896961364626447485==" MIME-Version: 1.0 Subject: =?utf8?q?=5BPR_PATCH=5D_=5BWIP=5D_New_package=3A_mathlibtools-1=2E1=2E1?= To: ml@inbox.vuxu.org From: Eloitor Reply-to: ml@inbox.vuxu.org Message-ID: Date: Fri, 27 May 2022 22:43:13 +0200 List-Id: GitHub notification mails are now in MIME to allow UTF8. --===============2896961364626447485== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYSBuZXcgcHVsbCByZXF1ZXN0IGJ5IEVsb2l0b3IgYWdhaW5zdCBtYXN0ZXIgb24g dGhlIHZvaWQtcGFja2FnZXMgcmVwb3NpdG9yeQoKaHR0cHM6Ly9naXRodWIuY29tL0Vsb2l0b3Iv dm9pZC1wYWNrYWdlcyBtYXRobGlidG9vbHMKaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgv dm9pZC1wYWNrYWdlcy9wdWxsLzM3MzE1CgpbV0lQXSBOZXcgcGFja2FnZTogbWF0aGxpYnRvb2xz LTEuMS4xCjwhLS0gVW5jb21tZW50IHJlbGV2YW50IHNlY3Rpb25zIGFuZCBkZWxldGUgb3B0aW9u cyB3aGljaCBhcmUgbm90IGFwcGxpY2FibGUgLS0+DQoNCiMjIyMgVGVzdGluZyB0aGUgY2hhbmdl cw0KLSBJIHRlc3RlZCB0aGUgY2hhbmdlcyBpbiB0aGlzIFBSOiAqKmJyaWVmbHkqKg0KDQojIyMj IE5ldyBwYWNrYWdlDQotIFRoaXMgbmV3IHBhY2thZ2UgY29uZm9ybXMgdG8gdGhlIFtxdWFsaXR5 IHJlcXVpcmVtZW50c10oaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdl cy9ibG9iL21hc3Rlci9NYW51YWwubWQjcXVhbGl0eS1yZXF1aXJlbWVudHMpOiAqKllFUyoqDQoN CiMjIyMgTG9jYWwgYnVpbGQgdGVzdGluZw0KLSBJIGJ1aWx0IHRoaXMgUFIgbG9jYWxseSBmb3Ig bXkgbmF0aXZlIGFyY2hpdGVjdHVyZSwgeDg2LTY0DQoNCkkgZG9uJ3Qga25vdyBob3cgdG8gbWFr ZSB0aGlzIHdvcms6DQoxLiBJbnN0YWxsIGVsYW4gZm9sbG93aW5nIHRoZSBpbnN0cnVjdGlvbnMg ZnJvbSBodHRwczovL2xlYW5wcm92ZXItY29tbXVuaXR5LmdpdGh1Yi5pby9pbnN0YWxsL2xpbnV4 Lmh0bWwNCjIuIEluc3RhbGwgbWF0aGxpYnRvb2xzIGZyb20gdGhpcyB0ZW1wbGF0ZQ0KDQpUaGlz IGlzIHRoZSBvdXRwdXQgb2YgYGxlYW5wcm9qZWN0IGdldCB0dXRvcmlhbHNgDQpgYGANCkNsb25p bmcgZnJvbSBnaXRAZ2l0aHViLmNvbTpsZWFucHJvdmVyLWNvbW11bml0eS90dXRvcmlhbHMuZ2l0 DQpFcnJvciBjbG9uaW5nIHZpYSBTU0gsIHRyeWluZyBIVFRQUy4uLg0KQ2xvbmluZyBmcm9tIGh0 dHBzOi8vZ2l0aHViLmNvbS9sZWFucHJvdmVyLWNvbW11bml0eS90dXRvcmlhbHMuZ2l0DQpjb25m aWd1cmluZyB0dXRvIDAuMQ0KV0FSTklORzogbGVhbnBrZyBjb25maWd1cmF0aW9ucyBub3Qgc3Bl Y2lmeWluZyBgcGF0aCA9ICJzcmMiYCBhcmUgZGVwcmVjYXRlZC4NCm1hdGhsaWI6IGNsb25pbmcg aHR0cHM6Ly9naXRodWIuY29tL2xlYW5wcm92ZXItY29tbXVuaXR5L21hdGhsaWIgdG8gX3Rhcmdl dC9kZXBzL21hdGhsaWINCj4gZ2l0IGNsb25lIGh0dHBzOi8vZ2l0aHViLmNvbS9sZWFucHJvdmVy LWNvbW11bml0eS9tYXRobGliIF90YXJnZXQvZGVwcy9tYXRobGliDQpTJ2VzdMOgIGNsb25hbnQg YSDCq190YXJnZXQvZGVwcy9tYXRobGliwrsuLi4NCnJlbW90ZTogRW51bWVyYXRpbmcgb2JqZWN0 czogMjkxNzk4LCBkb25lLg0KcmVtb3RlOiBDb3VudGluZyBvYmplY3RzOiAxMDAlICgyMTU3LzIx NTcpLCBkb25lLg0KcmVtb3RlOiBDb21wcmVzc2luZyBvYmplY3RzOiAxMDAlICg4NTYvODU2KSwg ZG9uZS4NCnJlbW90ZTogVG90YWwgMjkxNzk4IChkZWx0YSAxNjEyKSwgcmV1c2VkIDE3MDEgKGRl bHRhIDEzMDEpLCBwYWNrLXJldXNlZCAyODk2NDENClMnZXN0YW4gcmViZW50IG9iamVjdGVzOiAx MDAlICgyOTE3OTgvMjkxNzk4KSwgMTU1Ljg2IE1pQiB8IDQuNTYgTWlCL3MsIGZldC4NClMnZXN0 YW4gcmVzb2xlbnQgbGVzIGRpZmVyw6huY2llczogMTAwJSAoMjMzMTgzLzIzMzE4MyksIGZldC4N Cj4gZ2l0IGNoZWNrb3V0IC0tZGV0YWNoIDE3ODQ1NmZmZWZkZGY4MGRlYzNiMjYyNjJjZWJjODhj NTk2ZTQ5NjkgICAgIyBpbiBkaXJlY3RvcnkgX3RhcmdldC9kZXBzL21hdGhsaWINCkhFQUQgYXJh IMOpcyBhIDE3ODQ1NmZmZWYgZmVhdChzZXRfdGhlb3J5L3N1cnJlYWwvYmFzaWMpOiBkZWZpbml0 aW9uIG9mIGDiiaRgIGFuZCBgPGAgb24gbnVtZXJpYyBnYW1lcyAoIzE0MTY5KQ0KTG9va2luZyBm b3IgbWF0aGxpYiBvbGVhbnMgZm9yIDE3ODQ1NmZmZWYNCiAgbG9jYWxseS4uLg0KICBGb3VuZCBs b2NhbCBtYXRobGliIG9sZWFucw0KTG9jYXRlZCBtYXRjaGluZyBjYWNoZQ0KQXBwbHlpbmcgY2Fj aGUNCiAgZmlsZXMgZXh0cmFjdGVkOiAxIFswMDowMCwgMjI4LjI5L3NdDQoNCkFib3J0ZWQhDQpg YGANCg0KSSBkb24ndCBrbm93IHdoYXQgaXMgaGFwcGVuaW5nLiBJdCBzaG91bGQgZG93bmxvYWQg dGhlIGNhY2hlZCBvbGVhbnMuDQoKCkEgcGF0Y2ggZmlsZSBmcm9tIGh0dHBzOi8vZ2l0aHViLmNv bS92b2lkLWxpbnV4L3ZvaWQtcGFja2FnZXMvcHVsbC8zNzMxNS5wYXRjaCBpcyBhdHRhY2hlZA== --===============2896961364626447485== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-mathlibtools-37315.patch" RnJvbSA5ZGI2MjVlMWM2MjVhMTdiMGQ4YTFiYWJhZjdhZDlkMDhhZWFjZDRkIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBFbG9pIFRvcnJlbnRzIDxlbG9pdG9yQGRpc3Jvb3Qub3JnPgpE YXRlOiBGcmksIDI3IE1heSAyMDIyIDIyOjMyOjA5ICswMjAwClN1YmplY3Q6IFtQQVRDSF0gTmV3 IHBhY2thZ2U6IG1hdGhsaWJ0b29scy0xLjEuMQoKLS0tCiBzcmNwa2dzL21hdGhsaWJ0b29scy90 ZW1wbGF0ZSAgICAgICB8IDE4ICsrKysrKysrKysrKysrKysrKwogc3JjcGtncy9weXRob24zLURl cHJlY2F0ZWQvdGVtcGxhdGUgfCAxOSArKysrKysrKysrKysrKysrKysrCiBzcmNwa2dzL3B5dGhv bjMtUHlHaXRodWIvdGVtcGxhdGUgICB8IDE1ICsrKysrKysrKysrKysrKwogc3JjcGtncy9weXRo b24zLXB5ZG90L3RlbXBsYXRlICAgICAgfCAxOSArKysrKysrKysrKysrKysrKysrCiA0IGZpbGVz IGNoYW5nZWQsIDcxIGluc2VydGlvbnMoKykKIGNyZWF0ZSBtb2RlIDEwMDY0NCBzcmNwa2dzL21h dGhsaWJ0b29scy90ZW1wbGF0ZQogY3JlYXRlIG1vZGUgMTAwNjQ0IHNyY3BrZ3MvcHl0aG9uMy1E ZXByZWNhdGVkL3RlbXBsYXRlCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtncy9weXRob24zLVB5 R2l0aHViL3RlbXBsYXRlCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtncy9weXRob24zLXB5ZG90 L3RlbXBsYXRlCgpkaWZmIC0tZ2l0IGEvc3JjcGtncy9tYXRobGlidG9vbHMvdGVtcGxhdGUgYi9z cmNwa2dzL21hdGhsaWJ0b29scy90ZW1wbGF0ZQpuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAw MDAwMDAwMDAwMDAuLjg0MmJlYTVlOTJkZAotLS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3MvbWF0 aGxpYnRvb2xzL3RlbXBsYXRlCkBAIC0wLDAgKzEsMTggQEAKKyMgVGVtcGxhdGUgZmlsZSBmb3Ig J21hdGhsaWJ0b29scycKK3BrZ25hbWU9bWF0aGxpYnRvb2xzCit2ZXJzaW9uPTEuMS4xCityZXZp c2lvbj0xCit3cmtzcmM9bWF0aGxpYi10b29scy0ke3ZlcnNpb259CitidWlsZF9zdHlsZT1weXRo b24zLW1vZHVsZQoraG9zdG1ha2VkZXBlbmRzPSJweXRob24zLXNldHVwdG9vbHMiCitkZXBlbmRz PSJweXRob24zLXRvbWwgcHl0aG9uMy1QeUdpdGh1YiBweXRob24zLWNlcnRpZmkgcHl0aG9uMy1H aXRQeXRob24KKyBweXRob24zLXJlcXVlc3RzIHB5dGhvbjMtY2xpY2sgcHl0aG9uMy10cWRtIHB5 dGhvbjMtbmV0d29ya3ggcHl0aG9uMy1weWRvdAorIHB5dGhvbjMteWFtbCBweXRob24zLWF0b21p Y3dyaXRlcyBweXRob24zLXBhcmFtaWtvIgorY2hlY2tkZXBlbmRzPSIkZGVwZW5kcyBnaXQiCitz aG9ydF9kZXNjPSJTdXBwb3J0aW5nIHRvb2wgZm9yIExlYW4gbWF0aGxpYiIKK21haW50YWluZXI9 IkVsb2kgVG9ycmVudHMgPGVsb2l0b3JAZGlzcm9vdC5vcmc+IgorbGljZW5zZT0iQXBhY2hlLTIu MCIKK2hvbWVwYWdlPSJodHRwczovL2dpdGh1Yi5jb20vbGVhbnByb3Zlci1jb21tdW5pdHkvbWF0 aGxpYi10b29scyIKK2NoYW5nZWxvZz0iaHR0cHM6Ly9yYXcuZ2l0aHVidXNlcmNvbnRlbnQuY29t L2xlYW5wcm92ZXItY29tbXVuaXR5L21hdGhsaWItdG9vbHMvbWFzdGVyL0NIQU5HRUxPRy5tZCIK K2Rpc3RmaWxlcz0iaHR0cHM6Ly9naXRodWIuY29tL2xlYW5wcm92ZXItY29tbXVuaXR5L21hdGhs aWItdG9vbHMvYXJjaGl2ZS92JHt2ZXJzaW9ufS50YXIuZ3oiCitjaGVja3N1bT1mYjYzZGVjYzYx ZjUwOGQ2MmVkYWU0MGFhMTkzZDY2MDc3MzZmYWZkYTY4YjE1YzAyZDQ5OWQ3MGVmOWFmMThjCmRp ZmYgLS1naXQgYS9zcmNwa2dzL3B5dGhvbjMtRGVwcmVjYXRlZC90ZW1wbGF0ZSBiL3NyY3BrZ3Mv cHl0aG9uMy1EZXByZWNhdGVkL3RlbXBsYXRlCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAw MDAwMDAwMDAwMC4uZTVmYWFmZDlkODAzCi0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9weXRo b24zLURlcHJlY2F0ZWQvdGVtcGxhdGUKQEAgLTAsMCArMSwxOSBAQAorIyBUZW1wbGF0ZSBmaWxl IGZvciAncHl0aG9uMy1EZXByZWNhdGVkJworcGtnbmFtZT1weXRob24zLURlcHJlY2F0ZWQKK3Zl cnNpb249MS4yLjEzCityZXZpc2lvbj0xCit3cmtzcmM9ZGVwcmVjYXRlZC0ke3ZlcnNpb259Citi dWlsZF9zdHlsZT1weXRob24zLW1vZHVsZQoraG9zdG1ha2VkZXBlbmRzPSJweXRob24zLXNldHVw dG9vbHMiCitkZXBlbmRzPSJweXRob24zLXdyYXB0IgorY2hlY2tkZXBlbmRzPSIkZGVwZW5kcyBw eXRob24zLXB5dGVzdCIKK3Nob3J0X2Rlc2M9IkRlY29yYXRvciB0byBkZXByZWNhdGUgb2xkIHB5 dGhvbiBjbGFzc2VzIgorbWFpbnRhaW5lcj0iRWxvaSBUb3JyZW50cyA8ZWxvaXRvckBkaXNyb290 Lm9yZz4iCitsaWNlbnNlPSJNSVQiCitob21lcGFnZT0iaHR0cHM6Ly9naXRodWIuY29tL3RhbnRh bGUvZGVwcmVjYXRlZCIKK2Rpc3RmaWxlcz0iaHR0cHM6Ly9naXRodWIuY29tL3RhbnRhbGUvZGVw cmVjYXRlZC9hcmNoaXZlL3Yke3ZlcnNpb259LnRhci5neiIKK2NoZWNrc3VtPTc3MWUyMGU5M2Ji NGJjNDk3YmQ5OTU1ODI5ZDM2MDc0ZGQ3NjA4OTYyODQ2YzBiMzRhOTJmZjY4ZWQ3ZWJhZDkKKwor cG9zdF9pbnN0YWxsKCkgeworCXZsaWNlbnNlIExJQ0VOU0UucnN0Cit9CmRpZmYgLS1naXQgYS9z cmNwa2dzL3B5dGhvbjMtUHlHaXRodWIvdGVtcGxhdGUgYi9zcmNwa2dzL3B5dGhvbjMtUHlHaXRo dWIvdGVtcGxhdGUKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAwLi4yOWUx ZDkxM2M2NzgKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dzL3B5dGhvbjMtUHlHaXRodWIvdGVt cGxhdGUKQEAgLTAsMCArMSwxNSBAQAorIyBUZW1wbGF0ZSBmaWxlIGZvciAncHl0aG9uMy1QeUdp dGh1YicKK3BrZ25hbWU9cHl0aG9uMy1QeUdpdGh1YgordmVyc2lvbj0xLjU1CityZXZpc2lvbj0x Cit3cmtzcmM9UHlHaXRodWItJHt2ZXJzaW9ufQorYnVpbGRfc3R5bGU9cHl0aG9uMy1tb2R1bGUK K2hvc3RtYWtlZGVwZW5kcz0icHl0aG9uMy1zZXR1cHRvb2xzIgorZGVwZW5kcz0icHl0aG9uMy1E ZXByZWNhdGVkIHB5dGhvbjMtUHlKV1QgcHl0aG9uMy1yZXF1ZXN0cyIKK2NoZWNrZGVwZW5kcz0i JGRlcGVuZHMgcHl0aG9uMy1odHRwcmV0dHkgcHl0aG9uMy1uYWNsIHB5dGhvbjMtcHl0ZXN0Igor c2hvcnRfZGVzYz0iUHl0aG9uIGxpYnJhcnkgdG8gYWNjZXNzIEdpdGh1YiBBUEkgdjMiCittYWlu dGFpbmVyPSJFbG9pIFRvcnJlbnRzIDxlbG9pdG9yQGRpc3Jvb3Qub3JnPiIKK2xpY2Vuc2U9IkxH UEwtMy4wLW9yLWxhdGVyIgoraG9tZXBhZ2U9Imh0dHBzOi8vZ2l0aHViLmNvbS9QeUdpdGh1Yi9Q eUdpdGh1YiIKK2Rpc3RmaWxlcz0iaHR0cHM6Ly9naXRodWIuY29tL1B5R2l0aHViL1B5R2l0aHVi L2FyY2hpdmUvdiR7dmVyc2lvbn0udGFyLmd6IgorY2hlY2tzdW09YzY3NGU1Y2NlYmExZjJjZjBk N2VhNzlkYTY2Y2YzMWYxMTMxZTg2YzQxY2Q2NmEyMzMwODkwZjc0MzI3YzBlMQpkaWZmIC0tZ2l0 IGEvc3JjcGtncy9weXRob24zLXB5ZG90L3RlbXBsYXRlIGIvc3JjcGtncy9weXRob24zLXB5ZG90 L3RlbXBsYXRlCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAwMDAwMC4uNWZmZjJi MTVmYjVjCi0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9weXRob24zLXB5ZG90L3RlbXBsYXRl CkBAIC0wLDAgKzEsMTkgQEAKKyMgVGVtcGxhdGUgZmlsZSBmb3IgJ3B5dGhvbjMtcHlkb3QnCitw a2duYW1lPXB5dGhvbjMtcHlkb3QKK3ZlcnNpb249MS40LjIKK3JldmlzaW9uPTEKK3dya3NyYz1w eWRvdC0ke3ZlcnNpb259CitidWlsZF9zdHlsZT1weXRob24zLW1vZHVsZQoraG9zdG1ha2VkZXBl bmRzPSJweXRob24zLXNldHVwdG9vbHMiCitkZXBlbmRzPSJweXRob24zLXBhcnNpbmciCitjaGVj a2RlcGVuZHM9IiR7ZGVwZW5kc30gcHl0aG9uMy1jaGFyZGV0IGdyYXBodml6Igorc2hvcnRfZGVz Yz0iUHl0aG9uIGludGVyZmFjZSB0byBHcmFwaHZpeidzIERvdCIKK21haW50YWluZXI9IkVsb2kg VG9ycmVudHMgPGVsb2l0b3JAZGlzcm9vdC5vcmc+IgorbGljZW5zZT0iTUlUIgoraG9tZXBhZ2U9 Imh0dHBzOi8vZ2l0aHViLmNvbS9weWRvdC9weWRvdCIKK2Rpc3RmaWxlcz0iaHR0cHM6Ly9naXRo dWIuY29tL3B5ZG90L3B5ZG90L2FyY2hpdmUvdiR7dmVyc2lvbn0udGFyLmd6IgorY2hlY2tzdW09 YTk5MmUwMTY3OWFlNzgyYjA4YzE1MWIzMjk3NTRkNmQ5YWVkNjFhYTBhYTgxNDdhMzgwNzU1MmNm ZTJhZGNmOQorCitwb3N0X2luc3RhbGwoKSB7CisJdmxpY2Vuc2UgTElDRU5TRQorfQo= --===============2896961364626447485==--