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=-0.2 required=5.0 tests=ALL_TRUSTED, DKIM_ADSP_NXDOMAIN autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 12434 invoked from network); 18 Aug 2021 18:48:47 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 18 Aug 2021 18:48:47 -0000 Content-Type: multipart/mixed; boundary="===============8919677562589316967==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BMerged=5D=3A_Math_packages=3A_gf2x=2C_ntl=2C_flintlib=2C_arb=2C_eclib?= To: ml@inbox.vuxu.org From: ericonr Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Wed, 18 Aug 2021 20:48:47 +0200 List-Id: Message-ID: <20210818184847.ZS0RuyFw_w-1tueZsyBhTBd3NT5ErEZMb7a5t3FaKfE@z> GitHub notification mails are now in MIME to allow UTF8. --===============8919677562589316967== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUncyBhIG1lcmdlZCBwdWxsIHJlcXVlc3Qgb24gdGhlIHZvaWQtcGFja2FnZXMgcmVwb3Np dG9yeQoKTWF0aCBwYWNrYWdlczogZ2YyeCwgbnRsLCBmbGludGxpYiwgYXJiLCBlY2xpYgpodHRw czovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2thZ2VzL3B1bGwvMzAwMzIKCkRlc2Ny aXB0aW9uOgo8IS0tIE1hcmsgaXRlbXMgd2l0aCBbeF0gd2hlcmUgYXBwbGljYWJsZSAtLT4NCg0K IyMjIyBHZW5lcmFsDQotIFt4XSBUaGlzIGlzIGEgbmV3IHBhY2thZ2UgYW5kIGl0IGNvbmZvcm1z IHRvIHRoZSBbcXVhbGl0eSByZXF1aXJlbWVudHNdKGh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxp bnV4L3ZvaWQtcGFja2FnZXMvYmxvYi9tYXN0ZXIvTWFudWFsLm1kI3F1YWxpdHktcmVxdWlyZW1l bnRzKQ0KDQojIyMjIEhhdmUgdGhlIHJlc3VsdHMgb2YgdGhlIHByb3Bvc2VkIGNoYW5nZXMgYmVl biB0ZXN0ZWQ/DQotIFt4XSBJIHVzZSB0aGUgcGFja2FnZXMgYWZmZWN0ZWQgYnkgdGhlIHByb3Bv c2VkIGNoYW5nZXMgb24gYSByZWd1bGFyIGJhc2lzIGFuZCBjb25maXJtIHRoaXMgUFIgd29ya3Mg Zm9yIG1lDQoNCiMjIyMgTm90ZXMNCi0gVGhpcyBpbmNsdWRlczogYGdmMnhgIChzZWUgYWxzbyAj Mjk3ODMpLCBgbnRsYCwgYGZsaW50bGliYCwgYGFyYmAsIGBlY2xpYmAuDQotIEV2ZXJ5dGhpbmcg aXMgdGVzdGVkIGFuZCBjaGVjayBwYXNzIGluIHg4Nl82NCwgeDg2XzY0LW11c2wsIGk2ODYuDQoN CkVESVQ6IHNwbGl0IGluIHNtYWxsZXIgaW5kZXBlbmRlbnQgUFIgdG8gZWFzZSByZXZpZXcuCg== --===============8919677562589316967==--