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 32402 invoked from network); 9 Nov 2021 15:46:55 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 9 Nov 2021 15:46:55 -0000 Content-Type: multipart/mixed; boundary="===============1528241218771685965==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BUpdated=5D_New_math_packages=3A_cddlib=2C_singular?= To: ml@inbox.vuxu.org From: dkwo Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Tue, 09 Nov 2021 16:46:55 +0100 List-Id: Message-ID: <20211109154655.8fam-L0kAmeDDWlEnkiTqYGrNmagog1n5uYYnPVjf4A@z> GitHub notification mails are now in MIME to allow UTF8. --===============1528241218771685965== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgZGt3byBhZ2FpbnN0IG1hc3RlciBv biB0aGUgdm9pZC1wYWNrYWdlcyByZXBvc2l0b3J5CgpodHRwczovL2dpdGh1Yi5jb20vZGt3by92 b2lkLXBhY2thZ2VzIGNkZApodHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2th Z2VzL3B1bGwvMzI4MjIKCk5ldyBtYXRoIHBhY2thZ2VzOiBjZGRsaWIsIHNpbmd1bGFyCk5ldyBt YXRoIHBhY2thZ2VzLCB1c2VmdWwgZm9yIHNhZ2VtYXRoCgotIE5ldyBwYWNrYWdlOiBjZGRsaWIK LSBOZXcgcGFja2FnZTogc2luZ3VsYXIKCkkgYnVpbHQgdGhlbSBvbiB4ODZfNjQKCgoKQSBwYXRj aCBmaWxlIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9w dWxsLzMyODIyLnBhdGNoIGlzIGF0dGFjaGVk --===============1528241218771685965== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-cdd-32822.patch" RnJvbSAzOTI5MDVmMDRhODk5YTY5MzQ5NjdlZjliYzk1ZjVjMWZlZDg0MGZhIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBka3dvIDxuaWNvbG9waWF6emFsdW5nYUBnbWFpbC5jb20+CkRh dGU6IEZyaSwgMyBTZXAgMjAyMSAxNjozMjoxMiArMDIwMApTdWJqZWN0OiBbUEFUQ0ggMS8yXSBO ZXcgcGFja2FnZTogY2RkbGliLTAuOTRtCgotLS0KIGNvbW1vbi9zaGxpYnMgICAgICAgICAgIHwg IDIgKysKIHNyY3BrZ3MvY2RkbGliLWRldmVsICAgIHwgIDEgKwogc3JjcGtncy9jZGRsaWIvdGVt cGxhdGUgfCAyNCArKysrKysrKysrKysrKysrKysrKysrKysKIDMgZmlsZXMgY2hhbmdlZCwgMjcg aW5zZXJ0aW9ucygrKQogY3JlYXRlIG1vZGUgMTIwMDAwIHNyY3BrZ3MvY2RkbGliLWRldmVsCiBj cmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtncy9jZGRsaWIvdGVtcGxhdGUKCmRpZmYgLS1naXQgYS9j b21tb24vc2hsaWJzIGIvY29tbW9uL3NobGlicwppbmRleCAxYjE2YmJjZGM0MjcuLjVkNWM3ZWY1 OGRkOSAxMDA2NDQKLS0tIGEvY29tbW9uL3NobGlicworKysgYi9jb21tb24vc2hsaWJzCkBAIC00 Nyw2ICs0Nyw4IEBAIGxpYlNlZ0ZhdWx0LnNvIGdsaWJjLTIuMzJfMQogbGlicGNwcm9maWxlLnNv IGdsaWJjLTIuMzJfMQogbGliY2lkbi5zby4xIGdsaWJjLTIuMzJfMQogbGlibXZlYy5zby4xIGds aWJjLTIuMzJfMQorbGliY2RkZ21wLnNvLjAgY2RkbGliLTAuOTRtXzEKK2xpYmNkZC5zby4wIGNk ZGxpYi0wLjk0bV8xCiBsaWJ6LnNvLjEgemxpYi0xLjIuM18xCiBsaWJiMi5zby4xIGxpYmIyLTAu OTguMV8xCiBsaWJiejIuc28uMSBiemlwMi0xLjAuNV8xCmRpZmYgLS1naXQgYS9zcmNwa2dzL2Nk ZGxpYi1kZXZlbCBiL3NyY3BrZ3MvY2RkbGliLWRldmVsCm5ldyBmaWxlIG1vZGUgMTIwMDAwCmlu ZGV4IDAwMDAwMDAwMDAwMC4uNDAxYWQwYTBiMWJjCi0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtn cy9jZGRsaWItZGV2ZWwKQEAgLTAsMCArMSBAQAorY2RkbGliClwgTm8gbmV3bGluZSBhdCBlbmQg b2YgZmlsZQpkaWZmIC0tZ2l0IGEvc3JjcGtncy9jZGRsaWIvdGVtcGxhdGUgYi9zcmNwa2dzL2Nk ZGxpYi90ZW1wbGF0ZQpuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAwMDAwMDAwMDAwMDAuLjdk ODQ3ZWZiZmU3ZAotLS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3MvY2RkbGliL3RlbXBsYXRlCkBA IC0wLDAgKzEsMjQgQEAKKyMgVGVtcGxhdGUgZmlsZSBmb3IgJ2NkZGxpYicKK3BrZ25hbWU9Y2Rk bGliCit2ZXJzaW9uPTAuOTRtCityZXZpc2lvbj0xCitidWlsZF9zdHlsZT1nbnUtY29uZmlndXJl CittYWtlZGVwZW5kcz0iZ21wLWRldmVsIgorc2hvcnRfZGVzYz0iRWZmaWNpZW50IGltcGxlbWVu dGF0aW9uIG9mIHRoZSBEb3VibGUgRGVzY3JpcHRpb24gTWV0aG9kIgorbWFpbnRhaW5lcj0iZGt3 byA8bmljb2xvcGlhenphbHVuZ2FAZ21haWwuY29tPiIKK2xpY2Vuc2U9IkdQTC0yLjAtb3ItbGF0 ZXIiCitob21lcGFnZT0iaHR0cHM6Ly9wZW9wbGUuaW5mLmV0aHouY2gvZnVrdWRhay9jZGRfaG9t ZS8iCitkaXN0ZmlsZXM9Imh0dHBzOi8vZ2l0aHViLmNvbS9jZGRsaWIvY2RkbGliL3JlbGVhc2Vz L2Rvd25sb2FkLyR7dmVyc2lvbn0vY2RkbGliLSR7dmVyc2lvbn0udGFyLmd6IgorY2hlY2tzdW09 NzBkZmZkYjMzNjliODcwNGRjNzU0MjhhMWIzYzQyYWI5MDQ3YjgxY2UwMzlmMTJmNDI3ZTJlYjJi MWIwZGVlMgorCitjZGRsaWItZGV2ZWxfcGFja2FnZSgpIHsKKwlzaG9ydF9kZXNjKz0iIC0gZGV2 ZWxvcG1lbnQgZmlsZXMiCisJZGVwZW5kcz0iJHtzb3VyY2Vwa2d9Pj0ke3ZlcnNpb259XyR7cmV2 aXNpb259IgorCXBrZ19pbnN0YWxsKCkgeworCQl2bW92ZSB1c3IvaW5jbHVkZQorCQl2bW92ZSAi dXNyL2xpYi8qLmEiCisJCXZtb3ZlICJ1c3IvbGliLyouc28iCisJCXZtb3ZlIHVzci9saWIvcGtn Y29uZmlnCisJCXZtb3ZlICJ1c3IvYmluL3Rlc3QqIgorCX0KK30KCkZyb20gNzhjOGJjN2MwMTJh N2NmNGMzZDk0MmNiMWJkMzAzZWE4NGQ3OTQyYiBNb24gU2VwIDE3IDAwOjAwOjAwIDIwMDEKRnJv bTogZGt3byA8bmljb2xvcGlhenphbHVuZ2FAZ21haWwuY29tPgpEYXRlOiBGcmksIDMgU2VwIDIw MjEgMTc6NDE6MDIgKzAyMDAKU3ViamVjdDogW1BBVENIIDIvMl0gTmV3IHBhY2thZ2U6IHNpbmd1 bGFyLTQuMi4xCgotLS0KIC4uLi9wYXRjaGVzL3Vwc3RyZWFtX29tYWxsb2NfbmV3X211c2wucGF0 Y2ggICB8IDQwICsrKysrKysrKysrKysrKysrKysKIC4uLi9wYXRjaGVzL3Vwc3RyZWFtX3BvbHlz X3Rlc3RfbXVzbC5wYXRjaCAgICB8IDIyICsrKysrKysrKysKIHNyY3BrZ3Mvc2luZ3VsYXIvdGVt cGxhdGUgICAgICAgICAgICAgICAgICAgICB8IDI2ICsrKysrKysrKysrKwogMyBmaWxlcyBjaGFu Z2VkLCA4OCBpbnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtncy9zaW5ndWxh ci9wYXRjaGVzL3Vwc3RyZWFtX29tYWxsb2NfbmV3X211c2wucGF0Y2gKIGNyZWF0ZSBtb2RlIDEw MDY0NCBzcmNwa2dzL3Npbmd1bGFyL3BhdGNoZXMvdXBzdHJlYW1fcG9seXNfdGVzdF9tdXNsLnBh dGNoCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtncy9zaW5ndWxhci90ZW1wbGF0ZQoKZGlmZiAt LWdpdCBhL3NyY3BrZ3Mvc2luZ3VsYXIvcGF0Y2hlcy91cHN0cmVhbV9vbWFsbG9jX25ld19tdXNs LnBhdGNoIGIvc3JjcGtncy9zaW5ndWxhci9wYXRjaGVzL3Vwc3RyZWFtX29tYWxsb2NfbmV3X211 c2wucGF0Y2gKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAwLi4zNTQ2MDNi YjJjNDQKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dzL3Npbmd1bGFyL3BhdGNoZXMvdXBzdHJl YW1fb21hbGxvY19uZXdfbXVzbC5wYXRjaApAQCAtMCwwICsxLDQwIEBACitGcm9tIGUxNjQzMTM1 NjQ1YTNjYzk3YWY4NjU5MDE4ZGVmZDJiODYxN2JiNGUgTW9uIFNlcCAxNyAwMDowMDowMCAyMDAx CitGcm9tOiBIYW5zIFNjaG9lbmVtYW5uIDxoYW5uZXNAbWF0aGVtYXRpay51bmkta2wuZGU+CitE YXRlOiBUaHUsIDIzIFNlcCAyMDIxIDEwOjU3OjI1ICswMjAwCitTdWJqZWN0OiBbUEFUQ0hdIG9t YWxsb2M6IGZpeCBhbGlnbm1lbnQgc3R1ZmYgZm9yICJtYWtlIGNoZWNrIgorCistLS0KKyBvbWFs bG9jL29tdFRlc3QuYyB8IDYgLS0tLS0tCisgb21hbGxvYy9vbXRUZXN0LmggfCAyICstCisgMiBm aWxlcyBjaGFuZ2VkLCAxIGluc2VydGlvbigrKSwgNyBkZWxldGlvbnMoLSkKKworZGlmZiAtLWdp dCBhL29tYWxsb2Mvb210VGVzdC5jIGIvb21hbGxvYy9vbXRUZXN0LmMKK2luZGV4IDcxNWZiYjEx M2MuLjc1YzhjZGIyMTAgMTAwNjQ0CistLS0gYS9vbWFsbG9jL29tdFRlc3QuYworKysrIGIvb21h bGxvYy9vbXRUZXN0LmMKK0BAIC03MCwxMiArNzAsNiBAQCB2b2lkIG9tdFRlc3REZWJ1ZyhvbU1l bUNlbGwgY2VsbCkKKyAgIH0KKyAKKyAgIGlzX3NpemUgPSBvbVNpemVPZkFkZHIoY2VsbC0+YWRk cik7CistICBpZiAoIU9NX0lTX0FMSUdORUQoaXNfc2l6ZSkpCistICB7CistICAgIG9tUmVwb3J0 RXJyb3Iob21FcnJvcl9Vbmtub3duLCBvbUVycm9yX05vRXJyb3IsIE9NX0ZMUiwKKy0gICAgICAg ICAgICAgICAgICAiaXNfc2l6ZSA9PSAldSBpcyB1bmFsaWduZWQiLCBpc19zaXplKTsKKy0gICAg cmV0dXJuOworLSAgfQorICAgaWYgKGlzX3NpemUgPCBzaXplKQorICAgeworICAgICBvbVJlcG9y dEVycm9yKG9tRXJyb3JfVW5rbm93biwgb21FcnJvcl9Ob0Vycm9yLCBPTV9GTFIsCitkaWZmIC0t Z2l0IGEvb21hbGxvYy9vbXRUZXN0LmggYi9vbWFsbG9jL29tdFRlc3QuaAoraW5kZXggYTU3OWQ4 ODAxMS4uNmZhYTA5OWM4OSAxMDA2NDQKKy0tLSBhL29tYWxsb2Mvb210VGVzdC5oCisrKysgYi9v bWFsbG9jL29tdFRlc3QuaAorQEAgLTQ4LDcgKzQ4LDcgQEAgdm9pZCBUZXN0RnJlZShvbU1lbUNl bGwgY2VsbCk7CisgCisgI2RlZmluZSBJU19TVElDS1lfQklOKHNwZWMpIChzcGVjICYgMSkKKyAv LyAjZGVmaW5lIElTX1NUSUNLWV9CSU4oc3BlYykgKDApCistI2RlZmluZSBHRVRfU0laRShzcGVj KSAgICAgIChzcGVjICYgKCgoKHVuc2lnbmVkIGxvbmcpIDEpIDw8IDE0KSAtMSkpCisrI2RlZmlu ZSBHRVRfU0laRShzcGVjKSAgICAgIE9NX0FMSUdOX1NJWkUoKHNwZWMgJiAoKCgodW5zaWduZWQg bG9uZykgMSkgPDwgMTQpIC0xKSkpCisgI2RlZmluZSBTRVRfU0laRShzcGVjLCBzaXplKSBzcGVj ID0gKChzcGVjICYgfigoKCh1bnNpZ25lZCBsb25nKSAxKSA8PCAxNCkgLTEpKSB8IChzaXplKSkK KyAjZGVmaW5lIElTX0FMSUdORUQoc3BlYykgICAgKHNwZWMgJiAoKCh1bnNpZ25lZCBsb25nKSAx KSA8PCAxNSkpCisgI2RlZmluZSBJU19aRVJPKHNwZWMpICAgICAgIChzcGVjICYgKCgodW5zaWdu ZWQgbG9uZykgMSkgPDwgMTYpKQpkaWZmIC0tZ2l0IGEvc3JjcGtncy9zaW5ndWxhci9wYXRjaGVz L3Vwc3RyZWFtX3BvbHlzX3Rlc3RfbXVzbC5wYXRjaCBiL3NyY3BrZ3Mvc2luZ3VsYXIvcGF0Y2hl cy91cHN0cmVhbV9wb2x5c190ZXN0X211c2wucGF0Y2gKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5k ZXggMDAwMDAwMDAwMDAwLi43M2VlMDYyZTJmODkKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dz L3Npbmd1bGFyL3BhdGNoZXMvdXBzdHJlYW1fcG9seXNfdGVzdF9tdXNsLnBhdGNoCkBAIC0wLDAg KzEsMjIgQEAKK0Zyb20gNmUyMzgzMTExYTE4YjJmYTJkMzQyMTA0NTYyNWQxZDQyNGViMWUyNSBN b24gU2VwIDE3IDAwOjAwOjAwIDIwMDEKK0Zyb206IEhhbnMgU2Nob2VuZW1hbm4gPGhhbm5lc0Bt YXRoZW1hdGlrLnVuaS1rbC5kZT4KK0RhdGU6IE1vbiwgMjAgU2VwIDIwMjEgMTU6MTM6MzYgKzAy MDAKK1N1YmplY3Q6IFtQQVRDSF0gZml4OiBtYWtlIGNoZWNrOiBwb2x5c190ZXN0CisKKy0tLQor IGxpYnBvbHlzL3Rlc3RzL3BvbHlzX3Rlc3QuaCB8IDIgKy0KKyAxIGZpbGUgY2hhbmdlZCwgMSBp bnNlcnRpb24oKyksIDEgZGVsZXRpb24oLSkKKworZGlmZiAtLWdpdCBhL2xpYnBvbHlzL3Rlc3Rz L3BvbHlzX3Rlc3QuaCBiL2xpYnBvbHlzL3Rlc3RzL3BvbHlzX3Rlc3QuaAoraW5kZXggNTUyNmFh NWE2Yi4uNWI0YzU2MTIzOCAxMDA2NDQKKy0tLSBhL2xpYnBvbHlzL3Rlc3RzL3BvbHlzX3Rlc3Qu aAorKysrIGIvbGlicG9seXMvdGVzdHMvcG9seXNfdGVzdC5oCitAQCAtMjQ4MSw3ICsyNDgxLDcg QEAgY2xhc3MgUG9seXNUZXN0U3VpdGUgOiBwdWJsaWMgQ3h4VGVzdDo6VGVzdFN1aXRlCisgICAg IHsKKyAgICAgICBmb3IgKGludCBxaSA9IDA7IHFpIDw9IDEwMDsgcWkrKykKKyAgICAgICB7Cist ICAgICAgICBpbnQgYyA9IHJhbmQoKSAlIDEwMDAwMDA7CisrICAgICAgICBpbnQgYyA9IHJhbmQo KSAlIDEwMDAwMDArMTsgLyogYyBtdXN0IG5vdCBiZSAwICovCisgICAgICAgICBwb2x5IHF0ZXJt ID0gcF9JU2V0KGMsIHIpOyBwX1NldEV4cChxdGVybSwgMSwgcWksIHIpOworICAgICAgICAgcF9T ZXRtKHF0ZXJtLCByKTsKKyAgICAgICAgIG51bWJlciBxdGVybUFzTiA9IHRvRnJhY3Rpb25OdW1i ZXIocXRlcm0sIGNmKTsKZGlmZiAtLWdpdCBhL3NyY3BrZ3Mvc2luZ3VsYXIvdGVtcGxhdGUgYi9z cmNwa2dzL3Npbmd1bGFyL3RlbXBsYXRlCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAw MDAwMDAwMC4uZDNhZjFjOGI5MTliCi0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9zaW5ndWxh ci90ZW1wbGF0ZQpAQCAtMCwwICsxLDI2IEBACisjIFRlbXBsYXRlIGZpbGUgZm9yICdzaW5ndWxh cicKK3BrZ25hbWU9c2luZ3VsYXIKK3ZlcnNpb249NC4yLjEKK3JldmlzaW9uPTEKK2J1aWxkX3N0 eWxlPWdudS1jb25maWd1cmUKK2NvbmZpZ3VyZV9hcmdzPSItLXdpdGgtcmVhZGxpbmU9bmN1cnNl cworCS0tZW5hYmxlLWdmYW5saWIKKwktLWVuYWJsZS1TaW5ndWxhcgorCS0tZW5hYmxlLWZhY3Rv cnkKKwktLWRpc2FibGUtZG9jCisJLS1kaXNhYmxlLXBvbHltYWtlCisJLS13aXRob3V0LXB5dGhv bgorCS0td2l0aC1saWJwYXJzZQorCWFjX2N2X2xpYl9jZGRnbXBfZGRfZnJlZV9nbG9iYWxfY29u c3RhbnRzPXllcyIKK2hvc3RtYWtlZGVwZW5kcz0icGVybCB0YXIgZG94eWdlbiIKK21ha2VkZXBl bmRzPSJmbGludGxpYi1kZXZlbCBjZGRsaWItZGV2ZWwgcmVhZGxpbmUtZGV2ZWwgZ3JhcGh2aXoi CitzaG9ydF9kZXNjPSJDb21wdXRlciBhbGdlYnJhIHN5c3RlbSBmb3IgcG9seW5vbWlhbCBjb21w dXRhdGlvbnMiCittYWludGFpbmVyPSJka3dvIDxuaWNvbG9waWF6emFsdW5nYUBnbWFpbC5jb20+ IgorbGljZW5zZT0iR1BMLTIuMC1vci1sYXRlciIKK2hvbWVwYWdlPSJodHRwczovL3d3dy5zaW5n dWxhci51bmkta2wuZGUiCitkaXN0ZmlsZXM9Imh0dHBzOi8vc2VydmljZS5tYXRoZW1hdGlrLnVu aS1rbC5kZS9mdHAvcHViL01hdGgvU2luZ3VsYXIvc3JjLyR7dmVyc2lvbi8vLi8tfS9zaW5ndWxh ci0ke3ZlcnNpb259LnRhci5neiIKK2NoZWNrc3VtPTI4YTU2ZGY4NGY4NWIxMTZlMDA2OGZmZWNm OTJmYmUwOGZjMjdiZDRjNWJhOTAyOTk3ZjFhMzY3ZGIwYmZlOGQKKworaWYgWyAteiAiJENST1NT X0JVSUxEIiBdOyB0aGVuCisJbWFrZWRlcGVuZHMrPSIgbnRsLWRldmVsIgorZmkK --===============1528241218771685965==--