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 9266 invoked from network); 16 Nov 2020 15:40:57 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 16 Nov 2020 15:40:57 -0000 Content-Type: multipart/mixed; boundary="===============2170197016778250321==" 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: Mon, 16 Nov 2020 16:40:57 +0100 List-Id: Message-ID: <20201116154057.cs1--VFTD6j7GpjF4_YT22NTsgHIe3gnKrxOBCbZoW0@z> GitHub notification mails are now in MIME to allow UTF8. --===============2170197016778250321== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgc21vcmltb3RvIGFnYWluc3QgbWFz dGVyIG9uIHRoZSB2b2lkLXBhY2thZ2VzIHJlcG9zaXRvcnkKCmh0dHBzOi8vZ2l0aHViLmNvbS9z bW9yaW1vdG8vdm9pZC1wYWNrYWdlcyBjb3EtOC4xMi4xCmh0dHBzOi8vZ2l0aHViLmNvbS92b2lk LWxpbnV4L3ZvaWQtcGFja2FnZXMvcHVsbC8yNjQzMQoKY29xOiB1cGRhdGUgdG8gOC4xMi4xCgoK QSBwYXRjaCBmaWxlIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNr YWdlcy9wdWxsLzI2NDMxLnBhdGNoIGlzIGF0dGFjaGVk --===============2170197016778250321== 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" RnJvbSBjMDY4YzUzM2M2Y2M2OWIwMjBkYWFiZjliY2IxMzNkN2M0ZWI2NDM4IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBTb3JhIE1vcmltb3RvIDxzb3JhQG1vcmltb3RvLmlvPgpEYXRl OiBUdWUsIDE3IE5vdiAyMDIwIDAwOjQwOjI4ICswOTAwClN1YmplY3Q6IFtQQVRDSCAxLzJdIGNv cTogdXBkYXRlIHRvIDguMTIuMQoKU2lnbmVkLW9mZi1ieTogU29yYSBNb3JpbW90byA8c29yYUBt b3JpbW90by5pbz4KLS0tCiBzcmNwa2dzL2NvcS90ZW1wbGF0ZSB8IDYgKysrLS0tCiAxIGZpbGUg Y2hhbmdlZCwgMyBpbnNlcnRpb25zKCspLCAzIGRlbGV0aW9ucygtKQoKZGlmZiAtLWdpdCBhL3Ny Y3BrZ3MvY29xL3RlbXBsYXRlIGIvc3JjcGtncy9jb3EvdGVtcGxhdGUKaW5kZXggZDcwMGMxNzZj NjMuLjQ2OTk3NWY1MTE5IDEwMDY0NAotLS0gYS9zcmNwa2dzL2NvcS90ZW1wbGF0ZQorKysgYi9z cmNwa2dzL2NvcS90ZW1wbGF0ZQpAQCAtMSw2ICsxLDYgQEAKICMgVGVtcGxhdGUgZmlsZSBmb3Ig J2NvcScKIHBrZ25hbWU9Y29xCi12ZXJzaW9uPTguMTIuMAordmVyc2lvbj04LjEyLjEKIHJldmlz aW9uPTEKIGhvc3RtYWtlZGVwZW5kcz0ib2NhbWwgb2NhbWwtZmluZGxpYiBvY2FtbC1udW0gY2Ft bHA1Igogc2hvcnRfZGVzYz0iUHJvb2YgYXNzaXN0YW50IHdyaXR0ZW4gaW4gT0NhbWwiCkBAIC04 LDcgKzgsNyBAQCBtYWludGFpbmVyPSJMZWFoIE5ldWtpcmNoZW4gPGxlYWhAdnV4dS5vcmc+Igog bGljZW5zZT0iTEdQTC0yLjEtb25seSIKIGhvbWVwYWdlPSJodHRwczovL2NvcS5pbnJpYS5mciIK IGRpc3RmaWxlcz0iaHR0cHM6Ly9naXRodWIuY29tL2NvcS9jb3EvYXJjaGl2ZS9WJHt2ZXJzaW9u fS50YXIuZ3oiCi1jaGVja3N1bT1lY2RlMTRjNjEzMmY1YWJiNDU5ZTdmNDcyNDc4ODc4ODkyODE3 NGFkNDQ4NGZmZjg4ZTg2YjAwODY3NzliY2VlCitjaGVja3N1bT1kYWJhZDkxMTIzOWM2OWVjZjc5 OTMxYjUxM2NiNDI3MTAxYzJmMTVmMDQ1MWFmMDU2ZmJmMTgxZGY1MjZmOGE1CiBub3BpZT15ZXMK IG5vY3Jvc3M9eWVzCiAKQEAgLTIyLDcgKzIyLDcgQEAgZG9fY29uZmlndXJlKCkgewogfQogCiBk b19idWlsZCgpIHsKLQltYWtlIFBSX089CisJbWFrZQogfQogCiBkb19pbnN0YWxsKCkgewoKRnJv bSAxZWM2N2M0N2QzMWZjNjIxNGYzMGRkYjI4ZTc1NzM1NmFmZjQxMjRkIE1vbiBTZXAgMTcgMDA6 MDA6MDAgMjAwMQpGcm9tOiBTb3JhIE1vcmltb3RvIDxzb3JhQG1vcmltb3RvLmlvPgpEYXRlOiBU dWUsIDE3IE5vdiAyMDIwIDAwOjQwOjM4ICswOTAwClN1YmplY3Q6IFtQQVRDSCAyLzJdIG9jYW1s LW51bTogdXBkYXRlIHRvIDEuNAoKU2lnbmVkLW9mZi1ieTogU29yYSBNb3JpbW90byA8c29yYUBt b3JpbW90by5pbz4KLS0tCiBzcmNwa2dzL29jYW1sLW51bS90ZW1wbGF0ZSB8IDEzICsrKysrKyst LS0tLS0KIDEgZmlsZSBjaGFuZ2VkLCA3IGluc2VydGlvbnMoKyksIDYgZGVsZXRpb25zKC0pCgpk aWZmIC0tZ2l0IGEvc3JjcGtncy9vY2FtbC1udW0vdGVtcGxhdGUgYi9zcmNwa2dzL29jYW1sLW51 bS90ZW1wbGF0ZQppbmRleCBhYzRiZjBmNzY2Ni4uNzM2YzEzNjFiM2QgMTAwNjQ0Ci0tLSBhL3Ny Y3BrZ3Mvb2NhbWwtbnVtL3RlbXBsYXRlCisrKyBiL3NyY3BrZ3Mvb2NhbWwtbnVtL3RlbXBsYXRl CkBAIC0xLDIzICsxLDI0IEBACiAjIFRlbXBsYXRlIGZpbGUgZm9yICdvY2FtbC1udW0nCiBwa2du YW1lPW9jYW1sLW51bQotdmVyc2lvbj0xLjMKLXJldmlzaW9uPTMKK3ZlcnNpb249MS40CityZXZp c2lvbj0xCit3cmtzcmM9Im51bS0ke3ZlcnNpb259IgogYnVpbGRfc3R5bGU9Z251LW1ha2VmaWxl Ci1tYWtlZGVwZW5kcz0ib2NhbWwgb2NhbWwtZmluZGxpYiIKIG1ha2VfaW5zdGFsbF90YXJnZXQ9 ImZpbmRsaWItaW5zdGFsbCIKK21ha2VkZXBlbmRzPSJvY2FtbCBvY2FtbC1maW5kbGliIgogc2hv cnRfZGVzYz0iT0NhbWwgbGVnYWN5IE51bSBsaWJyYXJ5IGZvciBhcmJpdHJhcnktcHJlY2lzaW9u IGludGVnZXJzIgogbWFpbnRhaW5lcj0iTGVhaCBOZXVraXJjaGVuIDxsZWFoQHZ1eHUub3JnPiIK LWxpY2Vuc2U9IkxHUEwtMi4xIgorbGljZW5zZT0iY3VzdG9tOiBMR1BMLTIuMS1vbmx5IHdpdGgg T0NhbWwtTEdQTC1saW5raW5nLWV4Y2VwdGlvbiIKIGhvbWVwYWdlPSJodHRwczovL2dpdGh1Yi5j b20vb2NhbWwvbnVtIgogZGlzdGZpbGVzPSJodHRwczovL2dpdGh1Yi5jb20vb2NhbWwvbnVtL2Fy Y2hpdmUvdiR7dmVyc2lvbn0udGFyLmd6IgotY2hlY2tzdW09NGY3OWMzMGU4MWVhOTU1M2M1YjJj NWI1YjU3YmIxOTk2OGNjYWQxZTg1MjU2YjNjNDQ2YjVkZjU4ZjMzZTk0ZAotd3Jrc3JjPSJudW0t JHt2ZXJzaW9ufSIKK2NoZWNrc3VtPTAxNTA4OGI2OGU3MTdiMDRjMDc5OTc5MjBlMzNjNTMyMTk3 MTFkZmFmMzZkMTE5NmQwMjMxM2Y0OGVhMDBmMjQKIG5vY3Jvc3M9eWVzCiAKIHByZV9pbnN0YWxs KCkgewogCWV4cG9ydCBPQ0FNTEZJTkRfREVTVERJUj0ke0RFU1RESVJ9L3Vzci9saWIvb2NhbWwK IAl2bWtkaXIgL3Vzci9saWIvb2NhbWwvc3R1YmxpYnMKIH0KKwogcG9zdF9pbnN0YWxsKCkgewog CXZsaWNlbnNlIExJQ0VOU0UKIH0K --===============2170197016778250321==--