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 12594 invoked from network); 4 Aug 2023 01:50:17 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 4 Aug 2023 01:50:17 -0000 Content-Type: multipart/mixed; boundary="===============4958945973227328237==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BClosed=5D=3A_New_package=3A_mathlibtools-1=2E3=2E2?= To: ml@inbox.vuxu.org From: github-actions[bot] Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Fri, 04 Aug 2023 03:50:17 +0200 List-Id: Message-ID: <20230804015017.l3ti9ohVPIiz0qF-RWy0POxpx_6uLaC6x-d_eRZPHPM@z> GitHub notification mails are now in MIME to allow UTF8. --===============4958945973227328237== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUncyBhIGNsb3NlZCBwdWxsIHJlcXVlc3Qgb24gdGhlIHZvaWQtcGFja2FnZXMgcmVwb3Np dG9yeQoKTmV3IHBhY2thZ2U6IG1hdGhsaWJ0b29scy0xLjMuMgpodHRwczovL2dpdGh1Yi5jb20v dm9pZC1saW51eC92b2lkLXBhY2thZ2VzL3B1bGwvMzczMTUKCkRlc2NyaXB0aW9uOgo8IS0tIFVu Y29tbWVudCByZWxldmFudCBzZWN0aW9ucyBhbmQgZGVsZXRlIG9wdGlvbnMgd2hpY2ggYXJlIG5v dCBhcHBsaWNhYmxlIC0tPg0KDQojIyMjIFRlc3RpbmcgdGhlIGNoYW5nZXMNCi0gSSB0ZXN0ZWQg dGhlIGNoYW5nZXMgaW4gdGhpcyBQUjogKipicmllZmx5KioNCg0KIyMjIyBOZXcgcGFja2FnZQ0K LSBUaGlzIG5ldyBwYWNrYWdlIGNvbmZvcm1zIHRvIHRoZSBbcXVhbGl0eSByZXF1aXJlbWVudHNd KGh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4L3ZvaWQtcGFja2FnZXMvYmxvYi9tYXN0ZXIv TWFudWFsLm1kI3F1YWxpdHktcmVxdWlyZW1lbnRzKTogKipZRVMqKg0KDQojIyMjIExvY2FsIGJ1 aWxkIHRlc3RpbmcNCi0gSSBidWlsdCB0aGlzIFBSIGxvY2FsbHkgZm9yIG15IG5hdGl2ZSBhcmNo aXRlY3R1cmUsIHg4Ni02NA0KDQpJIGRvbid0IGtub3cgaG93IHRvIG1ha2UgdGhpcyB3b3JrOg0K MS4gSW5zdGFsbCBgZWxhbmAgZm9sbG93aW5nIHRoZSBpbnN0cnVjdGlvbnMgZnJvbSBodHRwczov L2xlYW5wcm92ZXItY29tbXVuaXR5LmdpdGh1Yi5pby9pbnN0YWxsL2xpbnV4Lmh0bWwNCjIuIHJ1 biBgc291cmNlICRIT01FLy5lbGFuL2VudmANCjMuIEluc3RhbGwgYG1hdGhsaWJ0b29sc2AgZnJv bSB0aGlzIHRlbXBsYXRlDQoNClRoaXMgaXMgdGhlIG91dHB1dCBvZiBgbGVhbnByb2plY3QgZ2V0 IHR1dG9yaWFsc2ANCmBgYA0KQ2xvbmluZyBmcm9tIGdpdEBnaXRodWIuY29tOmxlYW5wcm92ZXIt Y29tbXVuaXR5L3R1dG9yaWFscy5naXQNCkVycm9yIGNsb25pbmcgdmlhIFNTSCwgdHJ5aW5nIEhU VFBTLi4uDQpDbG9uaW5nIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL2xlYW5wcm92ZXItY29tbXVu aXR5L3R1dG9yaWFscy5naXQNCmNvbmZpZ3VyaW5nIHR1dG8gMC4xDQpXQVJOSU5HOiBsZWFucGtn IGNvbmZpZ3VyYXRpb25zIG5vdCBzcGVjaWZ5aW5nIGBwYXRoID0gInNyYyJgIGFyZSBkZXByZWNh dGVkLg0KbWF0aGxpYjogY2xvbmluZyBodHRwczovL2dpdGh1Yi5jb20vbGVhbnByb3Zlci1jb21t dW5pdHkvbWF0aGxpYiB0byBfdGFyZ2V0L2RlcHMvbWF0aGxpYg0KPiBnaXQgY2xvbmUgaHR0cHM6 Ly9naXRodWIuY29tL2xlYW5wcm92ZXItY29tbXVuaXR5L21hdGhsaWIgX3RhcmdldC9kZXBzL21h dGhsaWINClMnZXN0w6AgY2xvbmFudCBhIMKrX3RhcmdldC9kZXBzL21hdGhsaWLCuy4uLg0KcmVt b3RlOiBFbnVtZXJhdGluZyBvYmplY3RzOiAyOTE3OTgsIGRvbmUuDQpyZW1vdGU6IENvdW50aW5n IG9iamVjdHM6IDEwMCUgKDIxNTcvMjE1NyksIGRvbmUuDQpyZW1vdGU6IENvbXByZXNzaW5nIG9i amVjdHM6IDEwMCUgKDg1Ni84NTYpLCBkb25lLg0KcmVtb3RlOiBUb3RhbCAyOTE3OTggKGRlbHRh IDE2MTIpLCByZXVzZWQgMTcwMSAoZGVsdGEgMTMwMSksIHBhY2stcmV1c2VkIDI4OTY0MQ0KUydl c3RhbiByZWJlbnQgb2JqZWN0ZXM6IDEwMCUgKDI5MTc5OC8yOTE3OTgpLCAxNTUuODYgTWlCIHwg NC41NiBNaUIvcywgZmV0Lg0KUydlc3RhbiByZXNvbGVudCBsZXMgZGlmZXLDqG5jaWVzOiAxMDAl ICgyMzMxODMvMjMzMTgzKSwgZmV0Lg0KPiBnaXQgY2hlY2tvdXQgLS1kZXRhY2ggMTc4NDU2ZmZl ZmRkZjgwZGVjM2IyNjI2MmNlYmM4OGM1OTZlNDk2OSAgICAjIGluIGRpcmVjdG9yeSBfdGFyZ2V0 L2RlcHMvbWF0aGxpYg0KSEVBRCBhcmEgw6lzIGEgMTc4NDU2ZmZlZiBmZWF0KHNldF90aGVvcnkv c3VycmVhbC9iYXNpYyk6IGRlZmluaXRpb24gb2YgYOKJpGAgYW5kIGA8YCBvbiBudW1lcmljIGdh bWVzICgjMTQxNjkpDQpMb29raW5nIGZvciBtYXRobGliIG9sZWFucyBmb3IgMTc4NDU2ZmZlZg0K ICBsb2NhbGx5Li4uDQogIEZvdW5kIGxvY2FsIG1hdGhsaWIgb2xlYW5zDQpMb2NhdGVkIG1hdGNo aW5nIGNhY2hlDQpBcHBseWluZyBjYWNoZQ0KICBmaWxlcyBleHRyYWN0ZWQ6IDEgWzAwOjAwLCAy MjguMjkvc10NCg0KQWJvcnRlZCENCmBgYA0KDQpJIGRvbid0IGtub3cgd2hhdCBpcyBoYXBwZW5p bmcuIEl0IHNob3VsZCBkb3dubG9hZCB0aGUgY2FjaGVkIG9sZWFucy4NCg0KVXBkYXRlOiBUaGlz IGFsc28gaGFwcGVucyB3aXRoIG1hdGhsaWJ0b29scyBpbnN0YWxsZWQgZnJvbSBwaXB4Li4uCg== --===============4958945973227328237==--