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 24308 invoked from network); 19 Nov 2020 04:20:09 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 19 Nov 2020 04:20:09 -0000 Content-Type: multipart/mixed; boundary="===============6115986340292998648==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BUpdated=5D_coq=3A_update_to_8=2E12=2E1?= To: ml@inbox.vuxu.org From: smorimoto Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Thu, 19 Nov 2020 05:20:09 +0100 List-Id: Message-ID: <20201119042009.ZHic297PyRK0nKSD9J8rPIpZuzJzdATY72rUg-NtDZ4@z> GitHub notification mails are now in MIME to allow UTF8. --===============6115986340292998648== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgc21vcmltb3RvIGFnYWluc3QgbWFz dGVyIG9uIHRoZSB2b2lkLXBhY2thZ2VzIHJlcG9zaXRvcnkKCmh0dHBzOi8vZ2l0aHViLmNvbS9z bW9yaW1vdG8vdm9pZC1wYWNrYWdlcyBjb3EtOC4xMi4xCmh0dHBzOi8vZ2l0aHViLmNvbS92b2lk LWxpbnV4L3ZvaWQtcGFja2FnZXMvcHVsbC8yNjQzMQoKY29xOiB1cGRhdGUgdG8gOC4xMi4xCgoK QSBwYXRjaCBmaWxlIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNr YWdlcy9wdWxsLzI2NDMxLnBhdGNoIGlzIGF0dGFjaGVk --===============6115986340292998648== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-coq-8.12.1-26431.patch" RnJvbSA4MTg5YzlmODkyODg2ZTIwZDBhYjk2YzJkYTk5ZGY4ZmIxZGQxMGRmIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBTb3JhIE1vcmltb3RvIDxzb3JhQG1vcmltb3RvLmlvPgpEYXRl OiBUdWUsIDE3IE5vdiAyMDIwIDAwOjQwOjI4ICswOTAwClN1YmplY3Q6IFtQQVRDSCAxLzJdIGNv cTogdXBkYXRlIHRvIDguMTIuMQoKU2lnbmVkLW9mZi1ieTogU29yYSBNb3JpbW90byA8c29yYUBt b3JpbW90by5pbz4KLS0tCiBzcmNwa2dzL2NvcS90ZW1wbGF0ZSB8IDIgKy0KIDEgZmlsZSBjaGFu Z2VkLCAxIGluc2VydGlvbigrKSwgMSBkZWxldGlvbigtKQoKZGlmZiAtLWdpdCBhL3NyY3BrZ3Mv Y29xL3RlbXBsYXRlIGIvc3JjcGtncy9jb3EvdGVtcGxhdGUKaW5kZXggMDFhNzgyOWI1MGYuLjQ2 OTk3NWY1MTE5IDEwMDY0NAotLS0gYS9zcmNwa2dzL2NvcS90ZW1wbGF0ZQorKysgYi9zcmNwa2dz L2NvcS90ZW1wbGF0ZQpAQCAtMjIsNyArMjIsNyBAQCBkb19jb25maWd1cmUoKSB7CiB9CiAKIGRv X2J1aWxkKCkgewotCW1ha2UgUFJfTz0KKwltYWtlCiB9CiAKIGRvX2luc3RhbGwoKSB7CgpGcm9t IDhkZDc5NmZhY2ViYTg4NTEzOTBjNGI0YjgyYjNhNzFjMzg4ZDg4MDUgTW9uIFNlcCAxNyAwMDow MDowMCAyMDAxCkZyb206IFNvcmEgTW9yaW1vdG8gPHNvcmFAbW9yaW1vdG8uaW8+CkRhdGU6IFRo dSwgMTkgTm92IDIwMjAgMTM6MTk6NTcgKzA5MDAKU3ViamVjdDogW1BBVENIIDIvMl0gb2NhbWwt bnVtOiBmaXggeGxpbnQgZXJyb3JzIGFuZCBsaWNlbnNlIHR5cGUKClNpZ25lZC1vZmYtYnk6IFNv cmEgTW9yaW1vdG8gPHNvcmFAbW9yaW1vdG8uaW8+Ci0tLQogc3JjcGtncy9vY2FtbC1udW0vdGVt cGxhdGUgfCA3ICsrKystLS0KIDEgZmlsZSBjaGFuZ2VkLCA0IGluc2VydGlvbnMoKyksIDMgZGVs ZXRpb25zKC0pCgpkaWZmIC0tZ2l0IGEvc3JjcGtncy9vY2FtbC1udW0vdGVtcGxhdGUgYi9zcmNw a2dzL29jYW1sLW51bS90ZW1wbGF0ZQppbmRleCAxYTkyODJhYzJlNS4uNzM2YzEzNjFiM2QgMTAw NjQ0Ci0tLSBhL3NyY3BrZ3Mvb2NhbWwtbnVtL3RlbXBsYXRlCisrKyBiL3NyY3BrZ3Mvb2NhbWwt bnVtL3RlbXBsYXRlCkBAIC0yLDIyICsyLDIzIEBACiBwa2duYW1lPW9jYW1sLW51bQogdmVyc2lv bj0xLjQKIHJldmlzaW9uPTEKK3dya3NyYz0ibnVtLSR7dmVyc2lvbn0iCiBidWlsZF9zdHlsZT1n bnUtbWFrZWZpbGUKLW1ha2VkZXBlbmRzPSJvY2FtbCBvY2FtbC1maW5kbGliIgogbWFrZV9pbnN0 YWxsX3RhcmdldD0iZmluZGxpYi1pbnN0YWxsIgorbWFrZWRlcGVuZHM9Im9jYW1sIG9jYW1sLWZp bmRsaWIiCiBzaG9ydF9kZXNjPSJPQ2FtbCBsZWdhY3kgTnVtIGxpYnJhcnkgZm9yIGFyYml0cmFy eS1wcmVjaXNpb24gaW50ZWdlcnMiCiBtYWludGFpbmVyPSJMZWFoIE5ldWtpcmNoZW4gPGxlYWhA dnV4dS5vcmc+IgotbGljZW5zZT0iTEdQTC0yLjEiCitsaWNlbnNlPSJjdXN0b206IExHUEwtMi4x LW9ubHkgd2l0aCBPQ2FtbC1MR1BMLWxpbmtpbmctZXhjZXB0aW9uIgogaG9tZXBhZ2U9Imh0dHBz Oi8vZ2l0aHViLmNvbS9vY2FtbC9udW0iCiBkaXN0ZmlsZXM9Imh0dHBzOi8vZ2l0aHViLmNvbS9v Y2FtbC9udW0vYXJjaGl2ZS92JHt2ZXJzaW9ufS50YXIuZ3oiCiBjaGVja3N1bT0wMTUwODhiNjhl NzE3YjA0YzA3OTk3OTIwZTMzYzUzMjE5NzExZGZhZjM2ZDExOTZkMDIzMTNmNDhlYTAwZjI0Ci13 cmtzcmM9Im51bS0ke3ZlcnNpb259Igogbm9jcm9zcz15ZXMKIAogcHJlX2luc3RhbGwoKSB7CiAJ ZXhwb3J0IE9DQU1MRklORF9ERVNURElSPSR7REVTVERJUn0vdXNyL2xpYi9vY2FtbAogCXZta2Rp ciAvdXNyL2xpYi9vY2FtbC9zdHVibGlicwogfQorCiBwb3N0X2luc3RhbGwoKSB7CiAJdmxpY2Vu c2UgTElDRU5TRQogfQo= --===============6115986340292998648==--