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 6660 invoked from network); 7 Jul 2020 02:58:51 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 7 Jul 2020 02:58:51 -0000 Content-Type: multipart/mixed; boundary="===============7866833866538405011==" 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: Tue, 07 Jul 2020 04:58:48 +0200 List-Id: Message-ID: <20200707025848.O6GiRXNy8PRUEGHSj5hDIPrE2-IUz-Q-50F87JKE0FE@z> GitHub notification mails are now in MIME to allow UTF8. --===============7866833866538405011== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgeGVseGViYXIgYWdhaW5zdCBtYXN0 ZXIgb24gdGhlIHZvaWQtcGFja2FnZXMgcmVwb3NpdG9yeQoKaHR0cHM6Ly9naXRodWIuY29tL3hl bHhlYmFyL3ZvaWQtcGFja2FnZXMgcGFja2FnZS9tZXRhbWF0aApodHRwczovL2dpdGh1Yi5jb20v dm9pZC1saW51eC92b2lkLXBhY2thZ2VzL3B1bGwvMTg1ODQKCk5ldyBwYWNrYWdlOiBtZXRhbWF0 aC0wLjE4MAoKCkEgcGF0Y2ggZmlsZSBmcm9tIGh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4 L3ZvaWQtcGFja2FnZXMvcHVsbC8xODU4NC5wYXRjaCBpcyBhdHRhY2hlZA== --===============7866833866538405011== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-package/metamath-18584.patch" RnJvbSBhYTVjNTQ2ZWUzZWU4ODc1NDkwMmRlYTMyOTgzZGNlNWRkMjgzMzg1IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiAiQi4gV2lsc29uIiA8eEB3aWxzb25iLmNvbT4KRGF0ZTogTW9u LCAxOSBBdWcgMjAxOSAxMDo0NDozMyArMDkwMApTdWJqZWN0OiBbUEFUQ0hdIE5ldyBwYWNrYWdl OiBtZXRhbWF0aC0wLjE4MwoKLS0tCiAuLi4vcGF0Y2hlcy9yZW1vdmUtbWlzc2luZy1maWxlLXJl ZnMucGF0Y2ggICAgfCAxNyArKysrKysrKysrKysrCiBzcmNwa2dzL21ldGFtYXRoL3RlbXBsYXRl ICAgICAgICAgICAgICAgICAgICAgfCAyNSArKysrKysrKysrKysrKysrKysrCiBzcmNwa2dzL21l dGFtYXRoL3VwZGF0ZSAgICAgICAgICAgICAgICAgICAgICAgfCAgMiArKwogMyBmaWxlcyBjaGFu Z2VkLCA0NCBpbnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtncy9tZXRhbWF0 aC9wYXRjaGVzL3JlbW92ZS1taXNzaW5nLWZpbGUtcmVmcy5wYXRjaAogY3JlYXRlIG1vZGUgMTAw NjQ0IHNyY3BrZ3MvbWV0YW1hdGgvdGVtcGxhdGUKIGNyZWF0ZSBtb2RlIDEwMDY0NCBzcmNwa2dz L21ldGFtYXRoL3VwZGF0ZQoKZGlmZiAtLWdpdCBhL3NyY3BrZ3MvbWV0YW1hdGgvcGF0Y2hlcy9y ZW1vdmUtbWlzc2luZy1maWxlLXJlZnMucGF0Y2ggYi9zcmNwa2dzL21ldGFtYXRoL3BhdGNoZXMv cmVtb3ZlLW1pc3NpbmctZmlsZS1yZWZzLnBhdGNoCm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4 IDAwMDAwMDAwMDAwLi42Zjk5MTAwY2ZiYQotLS0gL2Rldi9udWxsCisrKyBiL3NyY3BrZ3MvbWV0 YW1hdGgvcGF0Y2hlcy9yZW1vdmUtbWlzc2luZy1maWxlLXJlZnMucGF0Y2gKQEAgLTAsMCArMSwx NyBAQAorLS0tIE1ha2VmaWxlLmFtCTIwMjAtMDEtMjcgMjA6NDM6NTUuNjUwMTk1NjAyICswOTAw CisrKysgTWFrZWZpbGUuYW0JMjAyMC0wMS0yNyAyMDo0NDoxOC44NzY1NzgwMTQgKzA5MDAKK0BA IC0zNiwxNCArMzYsNiBAQAorIAltbXd0ZXguYyBcCisgCSQobm9pbnN0X0hFQURFUlMpCisgCist ZGlzdF9wa2dkYXRhX0RBVEEgPSBcCistCWJpZy11bmlmaWVyLm1tIFwKKy0JZGVtbzAubW0gXAor LQltaXUubW0gXAorLQlwZWFuby5tbSBcCistCXFsLm1tIFwKKy0Jc2V0Lm1tCistCisgCisgRVhU UkFfRElTVCA9IFwKKyAJTElDRU5TRS5UWFQgXApkaWZmIC0tZ2l0IGEvc3JjcGtncy9tZXRhbWF0 aC90ZW1wbGF0ZSBiL3NyY3BrZ3MvbWV0YW1hdGgvdGVtcGxhdGUKbmV3IGZpbGUgbW9kZSAxMDA2 NDQKaW5kZXggMDAwMDAwMDAwMDAuLjhlNDJlZDJmMjYzCi0tLSAvZGV2L251bGwKKysrIGIvc3Jj cGtncy9tZXRhbWF0aC90ZW1wbGF0ZQpAQCAtMCwwICsxLDI1IEBACisjIFRlbXBsYXRlIGZpbGUg Zm9yICdtZXRhbWF0aCcKK3BrZ25hbWU9bWV0YW1hdGgKK3ZlcnNpb249MC4xODIKK3JldmlzaW9u PTEKK2FyY2hzPSJ+YXJtKiIKK3dya3NyYz0iJHtwa2duYW1lfSIKK2J1aWxkX3N0eWxlPWdudS1j b25maWd1cmUKK2hvc3RtYWtlZGVwZW5kcz0iYXV0b2NvbmYgYXV0b21ha2UgdW56aXAiCitzaG9y dF9kZXNjPSJQcm9vZiB2ZXJpZmllciBiYXNlZCBvbiBhIG1pbmltYWxpc3QgbWV0YWxvZ2ljIgor bWFpbnRhaW5lcj0iQi4gV2lsc29uIDx4QHdpbHNvbmIuY29tPiIKK2xpY2Vuc2U9IkdQTC0yLjAt b3ItbGF0ZXIiCitob21lcGFnZT0iaHR0cDovL3VzLm1ldGFtYXRoLm9yZy8iCitkaXN0ZmlsZXM9 Imh0dHA6Ly91czIubWV0YW1hdGgub3JnL2Rvd25sb2Fkcy9tZXRhbWF0aC1wcm9ncmFtLnppcAor IGh0dHA6Ly91czIubWV0YW1hdGgub3JnL2Rvd25sb2Fkcy9tZXRhbWF0aC5wZGYiCitjaGVja3N1 bT0iZTFiODlkZTZkODhiYjNjNGY3NjUxMDc1MGI0ZTNmYzlkY2MzZGFlMGRkY2E3OWNkNmE2ZmQy Yjc0MjczMmU0YworIDI0NWViYWIxNmQxNDhhOTc3MmY2YzM3NTFiYThmMzRlZTE1YmVkNmJiYjYx YTQ2NGY0YzJhMmY5YzU2ZjgwNTkiCitza2lwX2V4dHJhY3Rpb249Im1ldGFtYXRoLnBkZiIKKwor cHJlX2NvbmZpZ3VyZSgpIHsKKwlhdXRvcmVjb25mIC1pCit9CisKK3Bvc3RfaW5zdGFsbCgpIHsK Kwl2ZG9jICIke1hCUFNfU1JDRElTVERJUn0vJHtwa2duYW1lfS0ke3ZlcnNpb259L21ldGFtYXRo LnBkZiIKK30KZGlmZiAtLWdpdCBhL3NyY3BrZ3MvbWV0YW1hdGgvdXBkYXRlIGIvc3JjcGtncy9t ZXRhbWF0aC91cGRhdGUKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAuLmQ5 NjhjOTZiMDg0Ci0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9tZXRhbWF0aC91cGRhdGUKQEAg LTAsMCArMSwyIEBACitzaXRlPWh0dHA6Ly91cy5tZXRhbWF0aC5vcmcvaW5kZXguaHRtbAorcGF0 dGVybj0iPEI+bWV0YW1hdGggcHJvZ3JhbTwvQj4gXCh2ZXJzaW9uIFxLW1xkLl0rIgo= --===============7866833866538405011==--