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 11802 invoked from network); 16 Nov 2020 16:03:47 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 16 Nov 2020 16:03:47 -0000 Content-Type: multipart/mixed; boundary="===============3093970517097831941==" 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 17:03:47 +0100 List-Id: Message-ID: <20201116160347.5s5e0r6UxVGC6NdjUkHLJ6SONmZ0JuynKl98vh-F2L4@z> GitHub notification mails are now in MIME to allow UTF8. --===============3093970517097831941== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgc21vcmltb3RvIGFnYWluc3QgbWFz dGVyIG9uIHRoZSB2b2lkLXBhY2thZ2VzIHJlcG9zaXRvcnkKCmh0dHBzOi8vZ2l0aHViLmNvbS9z bW9yaW1vdG8vdm9pZC1wYWNrYWdlcyBjb3EtOC4xMi4xCmh0dHBzOi8vZ2l0aHViLmNvbS92b2lk LWxpbnV4L3ZvaWQtcGFja2FnZXMvcHVsbC8yNjQzMQoKY29xOiB1cGRhdGUgdG8gOC4xMi4xCgoK QSBwYXRjaCBmaWxlIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNr YWdlcy9wdWxsLzI2NDMxLnBhdGNoIGlzIGF0dGFjaGVk --===============3093970517097831941== 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 OiBUdWUsIDE3IE5vdiAyMDIwIDAwOjQwOjI4ICswOTAwClN1YmplY3Q6IFtQQVRDSCAxLzNdIGNv cTogdXBkYXRlIHRvIDguMTIuMQoKU2lnbmVkLW9mZi1ieTogU29yYSBNb3JpbW90byA8c29yYUBt b3JpbW90by5pbz4KLS0tCiBzcmNwa2dzL2NvcS90ZW1wbGF0ZSB8IDYgKysrLS0tCiAxIGZpbGUg Y2hhbmdlZCwgMyBpbnNlcnRpb25zKCspLCAzIGRlbGV0aW9ucygtKQoKZGlmZiAtLWdpdCBhL3Ny Y3BrZ3MvY29xL3RlbXBsYXRlIGIvc3JjcGtncy9jb3EvdGVtcGxhdGUKaW5kZXggZDcwMGMxNzZj NjMuLjQ2OTk3NWY1MTE5IDEwMDY0NAotLS0gYS9zcmNwa2dzL2NvcS90ZW1wbGF0ZQorKysgYi9z cmNwa2dzL2NvcS90ZW1wbGF0ZQpAQCAtMSw2ICsxLDYgQEAKICMgVGVtcGxhdGUgZmlsZSBmb3Ig J2NvcScKIHBrZ25hbWU9Y29xCi12ZXJzaW9uPTguMTIuMAordmVyc2lvbj04LjEyLjEKIHJldmlz aW9uPTEKIGhvc3RtYWtlZGVwZW5kcz0ib2NhbWwgb2NhbWwtZmluZGxpYiBvY2FtbC1udW0gY2Ft bHA1Igogc2hvcnRfZGVzYz0iUHJvb2YgYXNzaXN0YW50IHdyaXR0ZW4gaW4gT0NhbWwiCkBAIC04 LDcgKzgsNyBAQCBtYWludGFpbmVyPSJMZWFoIE5ldWtpcmNoZW4gPGxlYWhAdnV4dS5vcmc+Igog bGljZW5zZT0iTEdQTC0yLjEtb25seSIKIGhvbWVwYWdlPSJodHRwczovL2NvcS5pbnJpYS5mciIK IGRpc3RmaWxlcz0iaHR0cHM6Ly9naXRodWIuY29tL2NvcS9jb3EvYXJjaGl2ZS9WJHt2ZXJzaW9u fS50YXIuZ3oiCi1jaGVja3N1bT1lY2RlMTRjNjEzMmY1YWJiNDU5ZTdmNDcyNDc4ODc4ODkyODE3 NGFkNDQ4NGZmZjg4ZTg2YjAwODY3NzliY2VlCitjaGVja3N1bT1kYWJhZDkxMTIzOWM2OWVjZjc5 OTMxYjUxM2NiNDI3MTAxYzJmMTVmMDQ1MWFmMDU2ZmJmMTgxZGY1MjZmOGE1CiBub3BpZT15ZXMK IG5vY3Jvc3M9eWVzCiAKQEAgLTIyLDcgKzIyLDcgQEAgZG9fY29uZmlndXJlKCkgewogfQogCiBk b19idWlsZCgpIHsKLQltYWtlIFBSX089CisJbWFrZQogfQogCiBkb19pbnN0YWxsKCkgewoKRnJv bSAxZWM2N2M0N2QzMWZjNjIxNGYzMGRkYjI4ZTc1NzM1NmFmZjQxMjRkIE1vbiBTZXAgMTcgMDA6 MDA6MDAgMjAwMQpGcm9tOiBTb3JhIE1vcmltb3RvIDxzb3JhQG1vcmltb3RvLmlvPgpEYXRlOiBU dWUsIDE3IE5vdiAyMDIwIDAwOjQwOjM4ICswOTAwClN1YmplY3Q6IFtQQVRDSCAyLzNdIG9jYW1s LW51bTogdXBkYXRlIHRvIDEuNAoKU2lnbmVkLW9mZi1ieTogU29yYSBNb3JpbW90byA8c29yYUBt b3JpbW90by5pbz4KLS0tCiBzcmNwa2dzL29jYW1sLW51bS90ZW1wbGF0ZSB8IDEzICsrKysrKyst LS0tLS0KIDEgZmlsZSBjaGFuZ2VkLCA3IGluc2VydGlvbnMoKyksIDYgZGVsZXRpb25zKC0pCgpk aWZmIC0tZ2l0IGEvc3JjcGtncy9vY2FtbC1udW0vdGVtcGxhdGUgYi9zcmNwa2dzL29jYW1sLW51 bS90ZW1wbGF0ZQppbmRleCBhYzRiZjBmNzY2Ni4uNzM2YzEzNjFiM2QgMTAwNjQ0Ci0tLSBhL3Ny Y3BrZ3Mvb2NhbWwtbnVtL3RlbXBsYXRlCisrKyBiL3NyY3BrZ3Mvb2NhbWwtbnVtL3RlbXBsYXRl CkBAIC0xLDIzICsxLDI0IEBACiAjIFRlbXBsYXRlIGZpbGUgZm9yICdvY2FtbC1udW0nCiBwa2du YW1lPW9jYW1sLW51bQotdmVyc2lvbj0xLjMKLXJldmlzaW9uPTMKK3ZlcnNpb249MS40CityZXZp c2lvbj0xCit3cmtzcmM9Im51bS0ke3ZlcnNpb259IgogYnVpbGRfc3R5bGU9Z251LW1ha2VmaWxl Ci1tYWtlZGVwZW5kcz0ib2NhbWwgb2NhbWwtZmluZGxpYiIKIG1ha2VfaW5zdGFsbF90YXJnZXQ9 ImZpbmRsaWItaW5zdGFsbCIKK21ha2VkZXBlbmRzPSJvY2FtbCBvY2FtbC1maW5kbGliIgogc2hv cnRfZGVzYz0iT0NhbWwgbGVnYWN5IE51bSBsaWJyYXJ5IGZvciBhcmJpdHJhcnktcHJlY2lzaW9u IGludGVnZXJzIgogbWFpbnRhaW5lcj0iTGVhaCBOZXVraXJjaGVuIDxsZWFoQHZ1eHUub3JnPiIK LWxpY2Vuc2U9IkxHUEwtMi4xIgorbGljZW5zZT0iY3VzdG9tOiBMR1BMLTIuMS1vbmx5IHdpdGgg T0NhbWwtTEdQTC1saW5raW5nLWV4Y2VwdGlvbiIKIGhvbWVwYWdlPSJodHRwczovL2dpdGh1Yi5j b20vb2NhbWwvbnVtIgogZGlzdGZpbGVzPSJodHRwczovL2dpdGh1Yi5jb20vb2NhbWwvbnVtL2Fy Y2hpdmUvdiR7dmVyc2lvbn0udGFyLmd6IgotY2hlY2tzdW09NGY3OWMzMGU4MWVhOTU1M2M1YjJj NWI1YjU3YmIxOTk2OGNjYWQxZTg1MjU2YjNjNDQ2YjVkZjU4ZjMzZTk0ZAotd3Jrc3JjPSJudW0t JHt2ZXJzaW9ufSIKK2NoZWNrc3VtPTAxNTA4OGI2OGU3MTdiMDRjMDc5OTc5MjBlMzNjNTMyMTk3 MTFkZmFmMzZkMTE5NmQwMjMxM2Y0OGVhMDBmMjQKIG5vY3Jvc3M9eWVzCiAKIHByZV9pbnN0YWxs KCkgewogCWV4cG9ydCBPQ0FNTEZJTkRfREVTVERJUj0ke0RFU1RESVJ9L3Vzci9saWIvb2NhbWwK IAl2bWtkaXIgL3Vzci9saWIvb2NhbWwvc3R1YmxpYnMKIH0KKwogcG9zdF9pbnN0YWxsKCkgewog CXZsaWNlbnNlIExJQ0VOU0UKIH0KCkZyb20gOTg3OTM2NjFhN2NmY2ZlZGNkMmYyNzAxN2FjNTEz YTk4ODE3ZTE2OSBNb24gU2VwIDE3IDAwOjAwOjAwIDIwMDEKRnJvbTogU29yYSBNb3JpbW90byA8 c29yYUBtb3JpbW90by5pbz4KRGF0ZTogVHVlLCAxNyBOb3YgMjAyMCAwMTowMzozNCArMDkwMApT dWJqZWN0OiBbUEFUQ0ggMy8zXSBjb2NjaW5lbGxlOiByZXZidW1wIGZvciBvY2FtbC1udW0KClNp Z25lZC1vZmYtYnk6IFNvcmEgTW9yaW1vdG8gPHNvcmFAbW9yaW1vdG8uaW8+Ci0tLQogc3JjcGtn cy9jb2NjaW5lbGxlL3RlbXBsYXRlIHwgMiArLQogMSBmaWxlIGNoYW5nZWQsIDEgaW5zZXJ0aW9u KCspLCAxIGRlbGV0aW9uKC0pCgpkaWZmIC0tZ2l0IGEvc3JjcGtncy9jb2NjaW5lbGxlL3RlbXBs YXRlIGIvc3JjcGtncy9jb2NjaW5lbGxlL3RlbXBsYXRlCmluZGV4IDg1OTM5YTg5ZDVjLi5iZWFh YmU5YWNjOSAxMDA2NDQKLS0tIGEvc3JjcGtncy9jb2NjaW5lbGxlL3RlbXBsYXRlCisrKyBiL3Ny Y3BrZ3MvY29jY2luZWxsZS90ZW1wbGF0ZQpAQCAtMSw3ICsxLDcgQEAKICMgVGVtcGxhdGUgZmls ZSBmb3IgJ2NvY2NpbmVsbGUnCiBwa2duYW1lPWNvY2NpbmVsbGUKIHZlcnNpb249MS4wLjgKLXJl dmlzaW9uPTQKK3JldmlzaW9uPTUKIGJ1aWxkX3N0eWxlPWdudS1jb25maWd1cmUKIGNvbmZpZ3Vy ZV9hcmdzPSItLXdpdGhvdXQtcGRmbGF0ZXggLS1lbmFibGUtcmVsZWFzZQogIC0td2l0aC1weXRo b249L3Vzci9iaW4vcHl0aG9uMyIK --===============3093970517097831941==--