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=-0.2 required=5.0 tests=ALL_TRUSTED, DKIM_ADSP_NXDOMAIN autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 16071 invoked from network); 19 Nov 2020 12:56:28 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 19 Nov 2020 12:56:28 -0000 Content-Type: multipart/mixed; boundary="===============8695411923401556751==" 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 13:56:28 +0100 List-Id: Message-ID: <20201119125628.Qp48DEn-3eK0_VoR5SPuqGfi76LUkQmCkFXTE3mYf6c@z> GitHub notification mails are now in MIME to allow UTF8. --===============8695411923401556751== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgc21vcmltb3RvIGFnYWluc3QgbWFz dGVyIG9uIHRoZSB2b2lkLXBhY2thZ2VzIHJlcG9zaXRvcnkKCmh0dHBzOi8vZ2l0aHViLmNvbS9z bW9yaW1vdG8vdm9pZC1wYWNrYWdlcyBjb3EtOC4xMi4xCmh0dHBzOi8vZ2l0aHViLmNvbS92b2lk LWxpbnV4L3ZvaWQtcGFja2FnZXMvcHVsbC8yNjQzMQoKY29xOiB1cGRhdGUgdG8gOC4xMi4xCgoK QSBwYXRjaCBmaWxlIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNr YWdlcy9wdWxsLzI2NDMxLnBhdGNoIGlzIGF0dGFjaGVk --===============8695411923401556751== 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 OiBUaHUsIDE5IE5vdiAyMDIwIDEzOjIzOjEyICswOTAwClN1YmplY3Q6IFtQQVRDSCAxLzJdIGNv cTogcmVtb3ZlIGFuIHVubmVjZXNzYXJ5IG1ha2UgYXJndW1lbnQKClNpZ25lZC1vZmYtYnk6IFNv cmEgTW9yaW1vdG8gPHNvcmFAbW9yaW1vdG8uaW8+Ci0tLQogc3JjcGtncy9jb3EvdGVtcGxhdGUg fCAyICstCiAxIGZpbGUgY2hhbmdlZCwgMSBpbnNlcnRpb24oKyksIDEgZGVsZXRpb24oLSkKCmRp ZmYgLS1naXQgYS9zcmNwa2dzL2NvcS90ZW1wbGF0ZSBiL3NyY3BrZ3MvY29xL3RlbXBsYXRlCmlu ZGV4IDAxYTc4MjliNTBmLi40Njk5NzVmNTExOSAxMDA2NDQKLS0tIGEvc3JjcGtncy9jb3EvdGVt cGxhdGUKKysrIGIvc3JjcGtncy9jb3EvdGVtcGxhdGUKQEAgLTIyLDcgKzIyLDcgQEAgZG9fY29u ZmlndXJlKCkgewogfQogCiBkb19idWlsZCgpIHsKLQltYWtlIFBSX089CisJbWFrZQogfQogCiBk b19pbnN0YWxsKCkgewoKRnJvbSBiODk2OTA5ZTAwMzNiZGVhNzFhZTU4ZDkxMjYyY2E1YTVhYjE1 YTk4IE1vbiBTZXAgMTcgMDA6MDA6MDAgMjAwMQpGcm9tOiBTb3JhIE1vcmltb3RvIDxzb3JhQG1v cmltb3RvLmlvPgpEYXRlOiBUaHUsIDE5IE5vdiAyMDIwIDEzOjIzOjMxICswOTAwClN1YmplY3Q6 IFtQQVRDSCAyLzJdIG9jYW1sLW51bTogZml4IHhsaW50IGVycm9ycyBhbmQgbGljZW5zZSB0eXBl CgpTaWduZWQtb2ZmLWJ5OiBTb3JhIE1vcmltb3RvIDxzb3JhQG1vcmltb3RvLmlvPgotLS0KIHNy Y3BrZ3Mvb2NhbWwtbnVtL3RlbXBsYXRlIHwgNyArKysrLS0tCiAxIGZpbGUgY2hhbmdlZCwgNCBp bnNlcnRpb25zKCspLCAzIGRlbGV0aW9ucygtKQoKZGlmZiAtLWdpdCBhL3NyY3BrZ3Mvb2NhbWwt bnVtL3RlbXBsYXRlIGIvc3JjcGtncy9vY2FtbC1udW0vdGVtcGxhdGUKaW5kZXggMWE5MjgyYWMy ZTUuLjczNmMxMzYxYjNkIDEwMDY0NAotLS0gYS9zcmNwa2dzL29jYW1sLW51bS90ZW1wbGF0ZQor KysgYi9zcmNwa2dzL29jYW1sLW51bS90ZW1wbGF0ZQpAQCAtMiwyMiArMiwyMyBAQAogcGtnbmFt ZT1vY2FtbC1udW0KIHZlcnNpb249MS40CiByZXZpc2lvbj0xCit3cmtzcmM9Im51bS0ke3ZlcnNp b259IgogYnVpbGRfc3R5bGU9Z251LW1ha2VmaWxlCi1tYWtlZGVwZW5kcz0ib2NhbWwgb2NhbWwt ZmluZGxpYiIKIG1ha2VfaW5zdGFsbF90YXJnZXQ9ImZpbmRsaWItaW5zdGFsbCIKK21ha2VkZXBl bmRzPSJvY2FtbCBvY2FtbC1maW5kbGliIgogc2hvcnRfZGVzYz0iT0NhbWwgbGVnYWN5IE51bSBs aWJyYXJ5IGZvciBhcmJpdHJhcnktcHJlY2lzaW9uIGludGVnZXJzIgogbWFpbnRhaW5lcj0iTGVh aCBOZXVraXJjaGVuIDxsZWFoQHZ1eHUub3JnPiIKLWxpY2Vuc2U9IkxHUEwtMi4xIgorbGljZW5z ZT0iY3VzdG9tOiBMR1BMLTIuMS1vbmx5IHdpdGggT0NhbWwtTEdQTC1saW5raW5nLWV4Y2VwdGlv biIKIGhvbWVwYWdlPSJodHRwczovL2dpdGh1Yi5jb20vb2NhbWwvbnVtIgogZGlzdGZpbGVzPSJo dHRwczovL2dpdGh1Yi5jb20vb2NhbWwvbnVtL2FyY2hpdmUvdiR7dmVyc2lvbn0udGFyLmd6Igog Y2hlY2tzdW09MDE1MDg4YjY4ZTcxN2IwNGMwNzk5NzkyMGUzM2M1MzIxOTcxMWRmYWYzNmQxMTk2 ZDAyMzEzZjQ4ZWEwMGYyNAotd3Jrc3JjPSJudW0tJHt2ZXJzaW9ufSIKIG5vY3Jvc3M9eWVzCiAK IHByZV9pbnN0YWxsKCkgewogCWV4cG9ydCBPQ0FNTEZJTkRfREVTVERJUj0ke0RFU1RESVJ9L3Vz ci9saWIvb2NhbWwKIAl2bWtkaXIgL3Vzci9saWIvb2NhbWwvc3R1YmxpYnMKIH0KKwogcG9zdF9p bnN0YWxsKCkgewogCXZsaWNlbnNlIExJQ0VOU0UKIH0K --===============8695411923401556751==--