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 7202 invoked from network); 7 Jul 2020 03:03:03 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 7 Jul 2020 03:03:03 -0000 Content-Type: multipart/mixed; boundary="===============7197921193675561523==" 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 05:03:03 +0200 List-Id: Message-ID: <20200707030303.cwjdLnGCoYrIz22aOFrrjyOk6JRqGxl-AdueIhYXt9g@z> GitHub notification mails are now in MIME to allow UTF8. --===============7197921193675561523== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgeGVseGViYXIgYWdhaW5zdCBtYXN0 ZXIgb24gdGhlIHZvaWQtcGFja2FnZXMgcmVwb3NpdG9yeQoKaHR0cHM6Ly9naXRodWIuY29tL3hl bHhlYmFyL3ZvaWQtcGFja2FnZXMgcGFja2FnZS9tZXRhbWF0aApodHRwczovL2dpdGh1Yi5jb20v dm9pZC1saW51eC92b2lkLXBhY2thZ2VzL3B1bGwvMTg1ODQKCk5ldyBwYWNrYWdlOiBtZXRhbWF0 aC0wLjE4MAoKCkEgcGF0Y2ggZmlsZSBmcm9tIGh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4 L3ZvaWQtcGFja2FnZXMvcHVsbC8xODU4NC5wYXRjaCBpcyBhdHRhY2hlZA== --===============7197921193675561523== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-package/metamath-18584.patch" RnJvbSBjYTdiYjc3OGViYzUxZjhkYzUzZTc0ZDkxODExMDYzZjc1ZmNhOGVmIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiAiQi4gV2lsc29uIiA8eEB3aWxzb25iLmNvbT4KRGF0ZTogTW9u LCAxOSBBdWcgMjAxOSAxMDo0NDozMyArMDkwMApTdWJqZWN0OiBbUEFUQ0hdIE5ldyBwYWNrYWdl OiBtZXRhbWF0aC0wLjE4MwoKLS0tCiBzcmNwa2dzL21ldGFtYXRoL3RlbXBsYXRlIHwgMjUgKysr KysrKysrKysrKysrKysrKysrKysrKwogc3JjcGtncy9tZXRhbWF0aC91cGRhdGUgICB8ICAyICsr CiAyIGZpbGVzIGNoYW5nZWQsIDI3IGluc2VydGlvbnMoKykKIGNyZWF0ZSBtb2RlIDEwMDY0NCBz cmNwa2dzL21ldGFtYXRoL3RlbXBsYXRlCiBjcmVhdGUgbW9kZSAxMDA2NDQgc3JjcGtncy9tZXRh bWF0aC91cGRhdGUKCmRpZmYgLS1naXQgYS9zcmNwa2dzL21ldGFtYXRoL3RlbXBsYXRlIGIvc3Jj cGtncy9tZXRhbWF0aC90ZW1wbGF0ZQpuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAwMDAwMDAw MDAwMC4uYzdlMzUyNjRjYWIKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dzL21ldGFtYXRoL3Rl bXBsYXRlCkBAIC0wLDAgKzEsMjUgQEAKKyMgVGVtcGxhdGUgZmlsZSBmb3IgJ21ldGFtYXRoJwor cGtnbmFtZT1tZXRhbWF0aAordmVyc2lvbj0wLjE4MworcmV2aXNpb249MQorYXJjaHM9In5hcm0q Igord3Jrc3JjPSJtZXRhbWF0aC1leGUtJHt2ZXJzaW9ufSIKK2J1aWxkX3N0eWxlPWdudS1jb25m aWd1cmUKK2hvc3RtYWtlZGVwZW5kcz0iYXV0b2NvbmYgYXV0b21ha2UiCitzaG9ydF9kZXNjPSJQ cm9vZiB2ZXJpZmllciBiYXNlZCBvbiBhIG1pbmltYWxpc3QgbWV0YWxvZ2ljIgorbWFpbnRhaW5l cj0iQi4gV2lsc29uIDx4QHdpbHNvbmIuY29tPiIKK2xpY2Vuc2U9IkdQTC0yLjAtb3ItbGF0ZXIs IEMwLTEuMCIKK2hvbWVwYWdlPSJodHRwOi8vdXMubWV0YW1hdGgub3JnLyIKK2Rpc3RmaWxlcz0i aHR0cHM6Ly9naXRodWIuY29tL21ldGFtYXRoL21ldGFtYXRoLWV4ZS9hcmNoaXZlL3Yke3ZlcnNp b259LnRhci5negorIGh0dHA6Ly91czIubWV0YW1hdGgub3JnL2Rvd25sb2Fkcy9tZXRhbWF0aC5w ZGYiCitjaGVja3N1bT0iNWM2MGRlNTM0YzUyMjY5ZGE0ZTA0OWIzNWVkNWJhMjQ3MTc3NmI4OTRi ZWFmMzJjOGUzZTI1ZDRmNDFlZjZhMAorIDI0NWViYWIxNmQxNDhhOTc3MmY2YzM3NTFiYThmMzRl ZTE1YmVkNmJiYjYxYTQ2NGY0YzJhMmY5YzU2ZjgwNTkiCitza2lwX2V4dHJhY3Rpb249Im1ldGFt YXRoLnBkZiIKKworcHJlX2NvbmZpZ3VyZSgpIHsKKwlhdXRvcmVjb25mIC1pCit9CisKK3Bvc3Rf aW5zdGFsbCgpIHsKKwl2ZG9jICIke1hCUFNfU1JDRElTVERJUn0vJHtwa2duYW1lfS0ke3ZlcnNp b259L21ldGFtYXRoLnBkZiIKK30KZGlmZiAtLWdpdCBhL3NyY3BrZ3MvbWV0YW1hdGgvdXBkYXRl IGIvc3JjcGtncy9tZXRhbWF0aC91cGRhdGUKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAw MDAwMDAwMDAuLmQ5NjhjOTZiMDg0Ci0tLSAvZGV2L251bGwKKysrIGIvc3JjcGtncy9tZXRhbWF0 aC91cGRhdGUKQEAgLTAsMCArMSwyIEBACitzaXRlPWh0dHA6Ly91cy5tZXRhbWF0aC5vcmcvaW5k ZXguaHRtbAorcGF0dGVybj0iPEI+bWV0YW1hdGggcHJvZ3JhbTwvQj4gXCh2ZXJzaW9uIFxLW1xk Ll0rIgo= --===============7197921193675561523==--