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 8820 invoked from network); 19 Aug 2020 00:21:32 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 19 Aug 2020 00:21:32 -0000 Content-Type: multipart/mixed; boundary="===============4818669072495829306==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_New_package=3A_metamath-0=2E180?= To: ml@inbox.vuxu.org From: xelxebar Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Wed, 19 Aug 2020 02:21:28 +0200 List-Id: Message-ID: <20200819002128.2by6FjgQ9xTCVB2bxqM-UCBk8VWxwZZOyJFKCPrt1JQ@z> GitHub notification mails are now in MIME to allow UTF8. --===============4818669072495829306== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 TmV3IGNvbW1lbnQgYnkgeGVseGViYXIgb24gdm9pZC1wYWNrYWdlcyByZXBvc2l0b3J5CgpodHRw czovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2thZ2VzL3B1bGwvMTg1ODQjaXNzdWVj b21tZW50LTY3NTc4MjAyMwoKQ29tbWVudDoKQGFoZXNmb3JkIFRoYW5rcyBmb3IgbG9va2luZyBh dCB0aGlzLiBUaGF0J3MgcmVhc29uYWJsZSBzdGFuY2UuIEkgYW0gaGFwcHkgdG8gcmVtb3ZlIHRo ZSBwZGYgaWYgdGhhdCB3aWxsIGdldCB0aGlzIG1lcmdlZC4NCg0KVGhhdCBzYWlkOyB0aGUgcGRm IHJlYWxseSBpcyB0aGUgb25seSByZWFzb25hYmxlIGxvY2FsIGRvY3VtZW50YXRpb24uIFRoZSBt YW4gcGFnZSBqdXN0IHByb3ZpZGVzIGEgdGVyc2Ugb3ZlcnZpZXcgb2YgdGhlIGludGVybmFsIG1l dGFtYXRoIHN5bnRheCwgYW5kIHRoZSBSRUFETUUgb25seSBkaXNjdXNzZXMgZGV0YWlscyBhYm91 dCBidWlsZGluZy4gVXBzdHJlYW0ncyBvZmZpY2lhbCBkb2N1bWVudGF0aW9uIGlzIHRoZSBwZGYs IHdoaWNoIGlzIHdoeSBJIGZpZ3VyZWQgaXQgbWFrZXMgc2Vuc2UgdG8gaW5jbHVkZSBpdCBpbiB0 aGUgcGFja2FnZS4NCg0KQ2hlZXJzIQo= --===============4818669072495829306==--