From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) 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.2 Received: (qmail 9277 invoked from network); 23 Apr 2020 07:16:41 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with UTF8ESMTPZ; 23 Apr 2020 07:16:41 -0000 Content-Type: multipart/mixed; boundary="===============8366945791626223299==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BUpdated=5D_New_package=3A_metamath-0=2E180?= To: ml@inbox.vuxu.org From: xelxebar Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Thu, 23 Apr 2020 09:16:41 +0200 List-Id: Message-ID: <20200423071641.AN-a6yXoWlfWsDMi_zoiV5oxla5bT7_lzHxrMsqmbJY@z> GitHub notification mails are now in MIME to allow UTF8. --===============8366945791626223299== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgeGVseGViYXIgYWdhaW5zdCBtYXN0 ZXIgb24gdGhlIHZvaWQtcGFja2FnZXMgcmVwb3NpdG9yeQoKaHR0cHM6Ly9naXRodWIuY29tL3hl bHhlYmFyL3ZvaWQtcGFja2FnZXMgcGFja2FnZS9tZXRhbWF0aApodHRwczovL2dpdGh1Yi5jb20v dm9pZC1saW51eC92b2lkLXBhY2thZ2VzL3B1bGwvMTg1ODQKCk5ldyBwYWNrYWdlOiBtZXRhbWF0 aC0wLjE4MAoKCkEgcGF0Y2ggZmlsZSBmcm9tIGh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4 L3ZvaWQtcGFja2FnZXMvcHVsbC8xODU4NC5wYXRjaCBpcyBhdHRhY2hlZA== --===============8366945791626223299== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-package/metamath-18584.patch" RnJvbSA1YjZjNDY1MGZhZWZmODQxODE1MGUxYzU0M2NjY2Y3YWUwZTQzOTE3IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiAiQi4gV2lsc29uIiA8eEB3aWxzb25iLmNvbT4KRGF0ZTogTW9u LCAxOSBBdWcgMjAxOSAxMDo0NDozMyArMDkwMApTdWJqZWN0OiBbUEFUQ0ggMS8zXSBOZXcgcGFj a2FnZTogbWV0YW1hdGgtMC4xODAKCi0tLQogLi4uL3BhdGNoZXMvcmVtb3ZlLW1pc3NpbmctZmls ZS1yZWZzLnBhdGNoICAgIHwgMTcgKysrKysrKysrKysrKwogc3JjcGtncy9tZXRhbWF0aC90ZW1w bGF0ZSAgICAgICAgICAgICAgICAgICAgIHwgMjUgKysrKysrKysrKysrKysrKysrKwogc3JjcGtn cy9tZXRhbWF0aC91cGRhdGUgICAgICAgICAgICAgICAgICAgICAgIHwgIDIgKysKIDMgZmlsZXMg Y2hhbmdlZCwgNDQgaW5zZXJ0aW9ucygrKQogY3JlYXRlIG1vZGUgMTAwNjQ0IHNyY3BrZ3MvbWV0 YW1hdGgvcGF0Y2hlcy9yZW1vdmUtbWlzc2luZy1maWxlLXJlZnMucGF0Y2gKIGNyZWF0ZSBtb2Rl IDEwMDY0NCBzcmNwa2dzL21ldGFtYXRoL3RlbXBsYXRlCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3Jj cGtncy9tZXRhbWF0aC91cGRhdGUKCmRpZmYgLS1naXQgYS9zcmNwa2dzL21ldGFtYXRoL3BhdGNo ZXMvcmVtb3ZlLW1pc3NpbmctZmlsZS1yZWZzLnBhdGNoIGIvc3JjcGtncy9tZXRhbWF0aC9wYXRj aGVzL3JlbW92ZS1taXNzaW5nLWZpbGUtcmVmcy5wYXRjaApuZXcgZmlsZSBtb2RlIDEwMDY0NApp bmRleCAwMDAwMDAwMDAwMC4uNmY5OTEwMGNmYmEKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dz L21ldGFtYXRoL3BhdGNoZXMvcmVtb3ZlLW1pc3NpbmctZmlsZS1yZWZzLnBhdGNoCkBAIC0wLDAg KzEsMTcgQEAKKy0tLSBNYWtlZmlsZS5hbQkyMDIwLTAxLTI3IDIwOjQzOjU1LjY1MDE5NTYwMiAr MDkwMAorKysrIE1ha2VmaWxlLmFtCTIwMjAtMDEtMjcgMjA6NDQ6MTguODc2NTc4MDE0ICswOTAw CitAQCAtMzYsMTQgKzM2LDYgQEAKKyAJbW13dGV4LmMgXAorIAkkKG5vaW5zdF9IRUFERVJTKQor IAorLWRpc3RfcGtnZGF0YV9EQVRBID0gXAorLQliaWctdW5pZmllci5tbSBcCistCWRlbW8wLm1t IFwKKy0JbWl1Lm1tIFwKKy0JcGVhbm8ubW0gXAorLQlxbC5tbSBcCistCXNldC5tbQorLQorIAor IEVYVFJBX0RJU1QgPSBcCisgCUxJQ0VOU0UuVFhUIFwKZGlmZiAtLWdpdCBhL3NyY3BrZ3MvbWV0 YW1hdGgvdGVtcGxhdGUgYi9zcmNwa2dzL21ldGFtYXRoL3RlbXBsYXRlCm5ldyBmaWxlIG1vZGUg MTAwNjQ0CmluZGV4IDAwMDAwMDAwMDAwLi5kMzJlZTI0M2JiNgotLS0gL2Rldi9udWxsCisrKyBi L3NyY3BrZ3MvbWV0YW1hdGgvdGVtcGxhdGUKQEAgLTAsMCArMSwyNSBAQAorIyBUZW1wbGF0ZSBm aWxlIGZvciAnbWV0YW1hdGgnCitwa2duYW1lPW1ldGFtYXRoCit2ZXJzaW9uPTAuMTgwCityZXZp c2lvbj0xCithcmNocz0ifmFybSoiCit3cmtzcmM9IiR7cGtnbmFtZX0iCitidWlsZF9zdHlsZT1n bnUtY29uZmlndXJlCitob3N0bWFrZWRlcGVuZHM9ImF1dG9jb25mIGF1dG9tYWtlIHVuemlwIgor c2hvcnRfZGVzYz0iUHJvb2YgdmVyaWZpZXIgYmFzZWQgb24gYSBtaW5pbWFsaXN0IG1ldGFsb2dp YyIKK21haW50YWluZXI9IkIuIFdpbHNvbiA8eEB3aWxzb25iLmNvbT4iCitsaWNlbnNlPSJHUEwt Mi4wLW9yLWxhdGVyIgoraG9tZXBhZ2U9Imh0dHA6Ly91cy5tZXRhbWF0aC5vcmcvIgorZGlzdGZp bGVzPSJodHRwOi8vdXMubWV0YW1hdGgub3JnL2Rvd25sb2Fkcy9tZXRhbWF0aC1wcm9ncmFtLnpp cAorIGh0dHA6Ly91cy5tZXRhbWF0aC5vcmcvZG93bmxvYWRzL21ldGFtYXRoLnBkZiIKK2NoZWNr c3VtPSI2YzU2NjVhMzY0YTA1NDAxNzczMGQ3ODY1YzhmOGE3ZGEwZmIzYjFhNGQzMzRiOThkNmEw ZmU1MTMzZGJlZGY1CisgMjQ1ZWJhYjE2ZDE0OGE5NzcyZjZjMzc1MWJhOGYzNGVlMTViZWQ2YmJi NjFhNDY0ZjRjMmEyZjljNTZmODA1OSIKK3NraXBfZXh0cmFjdGlvbj0ibWV0YW1hdGgucGRmIgor CitwcmVfY29uZmlndXJlKCkgeworCWF1dG9yZWNvbmYgLWkKK30KKworcG9zdF9pbnN0YWxsKCkg eworCXZkb2MgIiR7WEJQU19TUkNESVNURElSfS8ke3BrZ25hbWV9LSR7dmVyc2lvbn0vbWV0YW1h dGgucGRmIgorfQpkaWZmIC0tZ2l0IGEvc3JjcGtncy9tZXRhbWF0aC91cGRhdGUgYi9zcmNwa2dz L21ldGFtYXRoL3VwZGF0ZQpuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAwMDAwMDAwMDAwMC4u ZDk2OGM5NmIwODQKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dzL21ldGFtYXRoL3VwZGF0ZQpA QCAtMCwwICsxLDIgQEAKK3NpdGU9aHR0cDovL3VzLm1ldGFtYXRoLm9yZy9pbmRleC5odG1sCitw YXR0ZXJuPSI8Qj5tZXRhbWF0aCBwcm9ncmFtPC9CPiBcKHZlcnNpb24gXEtbXGQuXSsiCgpGcm9t IGY4ZmQzMzNiZTNiOTNhNTVmZWJjNjdmNGY1MTU2M2EwZDFmNDM3NzUgTW9uIFNlcCAxNyAwMDow MDowMCAyMDAxCkZyb206ICJCLiBXaWxzb24iIDx4QHdpbHNvbmIuY29tPgpEYXRlOiBUaHUsIDEz IEZlYiAyMDIwIDE1OjM5OjA3ICswOTAwClN1YmplY3Q6IFtQQVRDSCAyLzNdIG1ldGFtYXRoOiB1 cGRhdGUgdG8gMC4xODEuCgotLS0KIHNyY3BrZ3MvbWV0YW1hdGgvdGVtcGxhdGUgfCA4ICsrKyst LS0tCiAxIGZpbGUgY2hhbmdlZCwgNCBpbnNlcnRpb25zKCspLCA0IGRlbGV0aW9ucygtKQoKZGlm ZiAtLWdpdCBhL3NyY3BrZ3MvbWV0YW1hdGgvdGVtcGxhdGUgYi9zcmNwa2dzL21ldGFtYXRoL3Rl bXBsYXRlCmluZGV4IGQzMmVlMjQzYmI2Li40NjIzOTZkMWM3MyAxMDA2NDQKLS0tIGEvc3JjcGtn cy9tZXRhbWF0aC90ZW1wbGF0ZQorKysgYi9zcmNwa2dzL21ldGFtYXRoL3RlbXBsYXRlCkBAIC0x LDYgKzEsNiBAQAogIyBUZW1wbGF0ZSBmaWxlIGZvciAnbWV0YW1hdGgnCiBwa2duYW1lPW1ldGFt YXRoCi12ZXJzaW9uPTAuMTgwCit2ZXJzaW9uPTAuMTgxCiByZXZpc2lvbj0xCiBhcmNocz0ifmFy bSoiCiB3cmtzcmM9IiR7cGtnbmFtZX0iCkBAIC0xMCw5ICsxMCw5IEBAIHNob3J0X2Rlc2M9IlBy b29mIHZlcmlmaWVyIGJhc2VkIG9uIGEgbWluaW1hbGlzdCBtZXRhbG9naWMiCiBtYWludGFpbmVy PSJCLiBXaWxzb24gPHhAd2lsc29uYi5jb20+IgogbGljZW5zZT0iR1BMLTIuMC1vci1sYXRlciIK IGhvbWVwYWdlPSJodHRwOi8vdXMubWV0YW1hdGgub3JnLyIKLWRpc3RmaWxlcz0iaHR0cDovL3Vz Lm1ldGFtYXRoLm9yZy9kb3dubG9hZHMvbWV0YW1hdGgtcHJvZ3JhbS56aXAKLSBodHRwOi8vdXMu bWV0YW1hdGgub3JnL2Rvd25sb2Fkcy9tZXRhbWF0aC5wZGYiCi1jaGVja3N1bT0iNmM1NjY1YTM2 NGEwNTQwMTc3MzBkNzg2NWM4ZjhhN2RhMGZiM2IxYTRkMzM0Yjk4ZDZhMGZlNTEzM2RiZWRmNQor ZGlzdGZpbGVzPSJodHRwOi8vdXMyLm1ldGFtYXRoLm9yZy9kb3dubG9hZHMvbWV0YW1hdGgtcHJv Z3JhbS56aXAKKyBodHRwOi8vdXMyLm1ldGFtYXRoLm9yZy9kb3dubG9hZHMvbWV0YW1hdGgucGRm IgorY2hlY2tzdW09IjM3Y2E4NzQwZGM1OGQ4OWNiMmM2NTEyZTY4YWU2ZGY5NWQ1NDg1ODdmZWJm NWFmZDZlMjVhN2I3NjkzOTQ0YzcKICAyNDVlYmFiMTZkMTQ4YTk3NzJmNmMzNzUxYmE4ZjM0ZWUx NWJlZDZiYmI2MWE0NjRmNGMyYTJmOWM1NmY4MDU5Igogc2tpcF9leHRyYWN0aW9uPSJtZXRhbWF0 aC5wZGYiCiAKCkZyb20gYWY2MGU1ZTk5OWM3NTFjNzNiNjJlM2UwMWNlZDBjODgxNGM0MWVhNSBN b24gU2VwIDE3IDAwOjAwOjAwIDIwMDEKRnJvbTogIkIuIFdpbHNvbiIgPHhAd2lsc29uYi5jb20+ CkRhdGU6IFRodSwgMjMgQXByIDIwMjAgMTY6MTY6MDcgKzA5MDAKU3ViamVjdDogW1BBVENIIDMv M10gbWV0YW1hdGg6IHVwZGF0ZSB0byAwLjE4Mi4KCi0tLQogc3JjcGtncy9tZXRhbWF0aC90ZW1w bGF0ZSB8IDQgKystLQogMSBmaWxlIGNoYW5nZWQsIDIgaW5zZXJ0aW9ucygrKSwgMiBkZWxldGlv bnMoLSkKCmRpZmYgLS1naXQgYS9zcmNwa2dzL21ldGFtYXRoL3RlbXBsYXRlIGIvc3JjcGtncy9t ZXRhbWF0aC90ZW1wbGF0ZQppbmRleCA0NjIzOTZkMWM3My4uOGU0MmVkMmYyNjMgMTAwNjQ0Ci0t LSBhL3NyY3BrZ3MvbWV0YW1hdGgvdGVtcGxhdGUKKysrIGIvc3JjcGtncy9tZXRhbWF0aC90ZW1w bGF0ZQpAQCAtMSw2ICsxLDYgQEAKICMgVGVtcGxhdGUgZmlsZSBmb3IgJ21ldGFtYXRoJwogcGtn bmFtZT1tZXRhbWF0aAotdmVyc2lvbj0wLjE4MQordmVyc2lvbj0wLjE4MgogcmV2aXNpb249MQog YXJjaHM9In5hcm0qIgogd3Jrc3JjPSIke3BrZ25hbWV9IgpAQCAtMTIsNyArMTIsNyBAQCBsaWNl bnNlPSJHUEwtMi4wLW9yLWxhdGVyIgogaG9tZXBhZ2U9Imh0dHA6Ly91cy5tZXRhbWF0aC5vcmcv IgogZGlzdGZpbGVzPSJodHRwOi8vdXMyLm1ldGFtYXRoLm9yZy9kb3dubG9hZHMvbWV0YW1hdGgt cHJvZ3JhbS56aXAKICBodHRwOi8vdXMyLm1ldGFtYXRoLm9yZy9kb3dubG9hZHMvbWV0YW1hdGgu cGRmIgotY2hlY2tzdW09IjM3Y2E4NzQwZGM1OGQ4OWNiMmM2NTEyZTY4YWU2ZGY5NWQ1NDg1ODdm ZWJmNWFmZDZlMjVhN2I3NjkzOTQ0YzcKK2NoZWNrc3VtPSJlMWI4OWRlNmQ4OGJiM2M0Zjc2NTEw NzUwYjRlM2ZjOWRjYzNkYWUwZGRjYTc5Y2Q2YTZmZDJiNzQyNzMyZTRjCiAgMjQ1ZWJhYjE2ZDE0 OGE5NzcyZjZjMzc1MWJhOGYzNGVlMTViZWQ2YmJiNjFhNDY0ZjRjMmEyZjljNTZmODA1OSIKIHNr aXBfZXh0cmFjdGlvbj0ibWV0YW1hdGgucGRmIgogCg== --===============8366945791626223299==--