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 24794 invoked from network); 19 Nov 2020 04:24:04 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 19 Nov 2020 04:24:04 -0000 Content-Type: multipart/mixed; boundary="===============4178686832955145580==" 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:24:04 +0100 List-Id: Message-ID: <20201119042404.57OFIY_4QtqizYNKTLomO-c0AnDQAXm6MClRo12eYWg@z> GitHub notification mails are now in MIME to allow UTF8. --===============4178686832955145580== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgc21vcmltb3RvIGFnYWluc3QgbWFz dGVyIG9uIHRoZSB2b2lkLXBhY2thZ2VzIHJlcG9zaXRvcnkKCmh0dHBzOi8vZ2l0aHViLmNvbS9z bW9yaW1vdG8vdm9pZC1wYWNrYWdlcyBjb3EtOC4xMi4xCmh0dHBzOi8vZ2l0aHViLmNvbS92b2lk LWxpbnV4L3ZvaWQtcGFja2FnZXMvcHVsbC8yNjQzMQoKY29xOiB1cGRhdGUgdG8gOC4xMi4xCgoK QSBwYXRjaCBmaWxlIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNr YWdlcy9wdWxsLzI2NDMxLnBhdGNoIGlzIGF0dGFjaGVk --===============4178686832955145580== 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" RnJvbSAxYzdjYjBjOGU1Y2I4M2QxNGM5M2VmYmY4OGRkOTkzMGFlZWM5N2UzIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBTb3JhIE1vcmltb3RvIDxzb3JhQG1vcmltb3RvLmlvPgpEYXRl OiBUaHUsIDE5IE5vdiAyMDIwIDEzOjIzOjEyICswOTAwClN1YmplY3Q6IFtQQVRDSCAxLzNdIGNv cTogcmVtb3ZlIGFuIHVubmVjZXNzYXJ5IG1ha2UgYXJndW1lbnQKClNpZ25lZC1vZmYtYnk6IFNv cmEgTW9yaW1vdG8gPHNvcmFAbW9yaW1vdG8uaW8+Ci0tLQogc3JjcGtncy9jb3EvdGVtcGxhdGUg fCAyICstCiAxIGZpbGUgY2hhbmdlZCwgMSBpbnNlcnRpb24oKyksIDEgZGVsZXRpb24oLSkKCmRp ZmYgLS1naXQgYS9zcmNwa2dzL2NvcS90ZW1wbGF0ZSBiL3NyY3BrZ3MvY29xL3RlbXBsYXRlCmlu ZGV4IDAxYTc4MjliNTBmLi40Njk5NzVmNTExOSAxMDA2NDQKLS0tIGEvc3JjcGtncy9jb3EvdGVt cGxhdGUKKysrIGIvc3JjcGtncy9jb3EvdGVtcGxhdGUKQEAgLTIyLDcgKzIyLDcgQEAgZG9fY29u ZmlndXJlKCkgewogfQogCiBkb19idWlsZCgpIHsKLQltYWtlIFBSX089CisJbWFrZQogfQogCiBk b19pbnN0YWxsKCkgewoKRnJvbSBiODk2OTA5ZTAwMzNiZGVhNzFhZTU4ZDkxMjYyY2E1YTVhYjE1 YTk4IE1vbiBTZXAgMTcgMDA6MDA6MDAgMjAwMQpGcm9tOiBTb3JhIE1vcmltb3RvIDxzb3JhQG1v cmltb3RvLmlvPgpEYXRlOiBUaHUsIDE5IE5vdiAyMDIwIDEzOjIzOjMxICswOTAwClN1YmplY3Q6 IFtQQVRDSCAyLzNdIG9jYW1sLW51bTogZml4IHhsaW50IGVycm9ycyBhbmQgbGljZW5zZSB0eXBl CgpTaWduZWQtb2ZmLWJ5OiBTb3JhIE1vcmltb3RvIDxzb3JhQG1vcmltb3RvLmlvPgotLS0KIHNy Y3BrZ3Mvb2NhbWwtbnVtL3RlbXBsYXRlIHwgNyArKysrLS0tCiAxIGZpbGUgY2hhbmdlZCwgNCBp bnNlcnRpb25zKCspLCAzIGRlbGV0aW9ucygtKQoKZGlmZiAtLWdpdCBhL3NyY3BrZ3Mvb2NhbWwt bnVtL3RlbXBsYXRlIGIvc3JjcGtncy9vY2FtbC1udW0vdGVtcGxhdGUKaW5kZXggMWE5MjgyYWMy ZTUuLjczNmMxMzYxYjNkIDEwMDY0NAotLS0gYS9zcmNwa2dzL29jYW1sLW51bS90ZW1wbGF0ZQor KysgYi9zcmNwa2dzL29jYW1sLW51bS90ZW1wbGF0ZQpAQCAtMiwyMiArMiwyMyBAQAogcGtnbmFt ZT1vY2FtbC1udW0KIHZlcnNpb249MS40CiByZXZpc2lvbj0xCit3cmtzcmM9Im51bS0ke3ZlcnNp b259IgogYnVpbGRfc3R5bGU9Z251LW1ha2VmaWxlCi1tYWtlZGVwZW5kcz0ib2NhbWwgb2NhbWwt ZmluZGxpYiIKIG1ha2VfaW5zdGFsbF90YXJnZXQ9ImZpbmRsaWItaW5zdGFsbCIKK21ha2VkZXBl bmRzPSJvY2FtbCBvY2FtbC1maW5kbGliIgogc2hvcnRfZGVzYz0iT0NhbWwgbGVnYWN5IE51bSBs aWJyYXJ5IGZvciBhcmJpdHJhcnktcHJlY2lzaW9uIGludGVnZXJzIgogbWFpbnRhaW5lcj0iTGVh aCBOZXVraXJjaGVuIDxsZWFoQHZ1eHUub3JnPiIKLWxpY2Vuc2U9IkxHUEwtMi4xIgorbGljZW5z ZT0iY3VzdG9tOiBMR1BMLTIuMS1vbmx5IHdpdGggT0NhbWwtTEdQTC1saW5raW5nLWV4Y2VwdGlv biIKIGhvbWVwYWdlPSJodHRwczovL2dpdGh1Yi5jb20vb2NhbWwvbnVtIgogZGlzdGZpbGVzPSJo dHRwczovL2dpdGh1Yi5jb20vb2NhbWwvbnVtL2FyY2hpdmUvdiR7dmVyc2lvbn0udGFyLmd6Igog Y2hlY2tzdW09MDE1MDg4YjY4ZTcxN2IwNGMwNzk5NzkyMGUzM2M1MzIxOTcxMWRmYWYzNmQxMTk2 ZDAyMzEzZjQ4ZWEwMGYyNAotd3Jrc3JjPSJudW0tJHt2ZXJzaW9ufSIKIG5vY3Jvc3M9eWVzCiAK IHByZV9pbnN0YWxsKCkgewogCWV4cG9ydCBPQ0FNTEZJTkRfREVTVERJUj0ke0RFU1RESVJ9L3Vz ci9saWIvb2NhbWwKIAl2bWtkaXIgL3Vzci9saWIvb2NhbWwvc3R1YmxpYnMKIH0KKwogcG9zdF9p bnN0YWxsKCkgewogCXZsaWNlbnNlIExJQ0VOU0UKIH0KCkZyb20gNmQyMjk2YjlkZmU0M2I4MzA4 YWE4MDdiNDQwZGUyOTlkMjU1NDY0NyBNb24gU2VwIDE3IDAwOjAwOjAwIDIwMDEKRnJvbTogU29y YSBNb3JpbW90byA8c29yYUBtb3JpbW90by5pbz4KRGF0ZTogVGh1LCAxOSBOb3YgMjAyMCAxMzoy Mzo1MyArMDkwMApTdWJqZWN0OiBbUEFUQ0ggMy8zXSBjb2NjaW5lbGxlOiByZXZidW1wIGZvciBv Y2FtbC1udW0KClNpZ25lZC1vZmYtYnk6IFNvcmEgTW9yaW1vdG8gPHNvcmFAbW9yaW1vdG8uaW8+ Ci0tLQogc3JjcGtncy9jb2NjaW5lbGxlL3RlbXBsYXRlIHwgMiArLQogMSBmaWxlIGNoYW5nZWQs IDEgaW5zZXJ0aW9uKCspLCAxIGRlbGV0aW9uKC0pCgpkaWZmIC0tZ2l0IGEvc3JjcGtncy9jb2Nj aW5lbGxlL3RlbXBsYXRlIGIvc3JjcGtncy9jb2NjaW5lbGxlL3RlbXBsYXRlCmluZGV4IDMxMGY5 ZDQzMjYxLi5lZjkwZWFmNWU2ZCAxMDA2NDQKLS0tIGEvc3JjcGtncy9jb2NjaW5lbGxlL3RlbXBs YXRlCisrKyBiL3NyY3BrZ3MvY29jY2luZWxsZS90ZW1wbGF0ZQpAQCAtMSw3ICsxLDcgQEAKICMg VGVtcGxhdGUgZmlsZSBmb3IgJ2NvY2NpbmVsbGUnCiBwa2duYW1lPWNvY2NpbmVsbGUKIHZlcnNp b249MS4wLjgKLXJldmlzaW9uPTUKK3JldmlzaW9uPTYKIGJ1aWxkX3N0eWxlPWdudS1jb25maWd1 cmUKIGNvbmZpZ3VyZV9hcmdzPSItLXdpdGhvdXQtcGRmbGF0ZXggLS1lbmFibGUtcmVsZWFzZQog IC0td2l0aC1weXRob249L3Vzci9iaW4vcHl0aG9uMyIK --===============4178686832955145580==--