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 19512 invoked from network); 3 Aug 2020 19:16:12 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 3 Aug 2020 19:16:12 -0000 Content-Type: multipart/mixed; boundary="===============8708281633404837574==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BUpdated=5D_scryer-prolog=3A_use_system_gmp?= To: ml@inbox.vuxu.org From: Chocimier Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Mon, 03 Aug 2020 21:16:12 +0200 List-Id: Message-ID: <20200803191612.JH-ZN-wiLp67uXI-j92fC8-rm3_OdcrJPVdV5E5lb9o@z> GitHub notification mails are now in MIME to allow UTF8. --===============8708281633404837574== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYW4gdXBkYXRlZCBwdWxsIHJlcXVlc3QgYnkgQ2hvY2ltaWVyIGFnYWluc3QgbWFz dGVyIG9uIHRoZSB2b2lkLXBhY2thZ2VzIHJlcG9zaXRvcnkKCmh0dHBzOi8vZ2l0aHViLmNvbS9D aG9jaW1pZXIvdm9pZC1wYWNrYWdlcy1vcmcgc2NyeWVyLXByb2xvZwpodHRwczovL2dpdGh1Yi5j b20vdm9pZC1saW51eC92b2lkLXBhY2thZ2VzL3B1bGwvMjM5MzQKCnNjcnllci1wcm9sb2c6IHVz ZSBzeXN0ZW0gZ21wClByZXZpb3VzIGNyb3NzLWJ1aWxkIHBhY2thZ2VzIGFyZSBwcm9iYWJseSBi cm9rZW4gYW55d2F5Lg0KDQpjYyBASm9obm55bmF0b3IgQG1rb2hsaGFhcyAKCkEgcGF0Y2ggZmls ZSBmcm9tIGh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4L3ZvaWQtcGFja2FnZXMvcHVsbC8y MzkzNC5wYXRjaCBpcyBhdHRhY2hlZA== --===============8708281633404837574== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-scryer-prolog-23934.patch" RnJvbSBhNmQ5ZjdjZWZiYjVkMTY2MzMwOTNkNjAzMDdlZGYwZDRiYjdmZThkIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiA9P1VURi04P3E/UGlvdHI9MjBXPUMzPUIzamNpaz89IDxjaG9j aW1pZXJAdGxlbi5wbD4KRGF0ZTogV2VkLCAyOSBKdWwgMjAyMCAyMToyMzo0MiArMDIwMApTdWJq ZWN0OiBbUEFUQ0hdIHNjcnllci1wcm9sb2c6IHVzZSBzeXN0ZW0gZ21wCgotLS0KIHNyY3BrZ3Mv c2NyeWVyLXByb2xvZy90ZW1wbGF0ZSB8IDE0ICsrKystLS0tLS0tLS0tCiAxIGZpbGUgY2hhbmdl ZCwgNCBpbnNlcnRpb25zKCspLCAxMCBkZWxldGlvbnMoLSkKCmRpZmYgLS1naXQgYS9zcmNwa2dz L3Njcnllci1wcm9sb2cvdGVtcGxhdGUgYi9zcmNwa2dzL3Njcnllci1wcm9sb2cvdGVtcGxhdGUK aW5kZXggMjE3YWUyNzVmZDEuLmUzNDdkZTZmNTE5IDEwMDY0NAotLS0gYS9zcmNwa2dzL3Njcnll ci1wcm9sb2cvdGVtcGxhdGUKKysrIGIvc3JjcGtncy9zY3J5ZXItcHJvbG9nL3RlbXBsYXRlCkBA IC0xLDI0ICsxLDE4IEBACiAjIFRlbXBsYXRlIGZpbGUgZm9yICdzY3J5ZXItcHJvbG9nJwogcGtn bmFtZT1zY3J5ZXItcHJvbG9nCiB2ZXJzaW9uPTAuOC4xMjMKLXJldmlzaW9uPTEKLWFyY2hzPSJ+ aTY4NiIgIyBhZ2dyZXNpdmUgY3B1IGRldGVjdGlvbgorcmV2aXNpb249MgogYnVpbGRfc3R5bGU9 Y2FyZ28KIGhvc3RtYWtlZGVwZW5kcz0ibTQgcGtnLWNvbmZpZyIKLWRlcGVuZHM9ImdtcCIKK21h a2VkZXBlbmRzPSJnbXAtZGV2ZWwgbXBmci1kZXZlbCBsaWJtcGMtZGV2ZWwiCiBzaG9ydF9kZXNj PSJNb2Rlcm4gUHJvbG9nIGltcGxlbWVudGF0aW9uIHdyaXR0ZW4gbW9zdGx5IGluIFJ1c3QiCiBt YWludGFpbmVyPSJIYW5zLUouIFNjaG1pZCA8a25vY2tAbXlvcGVuZG9vci5kZT4iCiBsaWNlbnNl PSJCU0QtMy1DbGF1c2UiCiBob21lcGFnZT0iaHR0cHM6Ly9naXRodWIuY29tL210aG9tL3Njcnll ci1wcm9sb2ciCiBkaXN0ZmlsZXM9Imh0dHBzOi8vZ2l0aHViLmNvbS9tdGhvbS9zY3J5ZXItcHJv bG9nL2FyY2hpdmUvdiR7dmVyc2lvbn0udGFyLmd6IgogY2hlY2tzdW09NDM3MGJjMjIwMGUzZTU2 ZDQxMTMyNjgwMTIxOWJjNWZjMzdhNDIyZmViZGI2Y2QzNTQ4ZWQzZjY1YjVhNDRhYQotCi1pZiBb ICIkWEJQU19UQVJHRVRfTElCQyIgPSAibXVzbCIgXTsgdGhlbgotCSMgWFhYOiBBbHNvIHNob3Vs ZCBoYXZlIEdNUF9NUEZSX1NZU19DQUNIRT0iIiBzZXQgc29tZXdoZXJlIGh0dHBzOi8vY3JhdGVz LmlvL2NyYXRlcy9nbXAtbXBmci1zeXMgKHdlIGhhdmUgY2NhY2hlIGZvciB0aGF0KQotCSMgV2Ug bWlnaHQgYWxzbyB3YW50IHRvIHVzZSBzeXN0ZW0gbGlicyBpbnN0ZWFkCi0JIyB0aGUgcnVudGlt ZSBkZXAgb24gZ21wIGlzIGluY29ycmVjdCByaWdodCBub3csIHNpbmNlIGdtcCBpcyBzdGF0aWNh bGx5IGxpbmtlZAotCWJyb2tlbj0iaHR0cHM6Ly9idWlsZC52b2lkbGludXgub3JnL2J1aWxkZXJz L3g4Nl82NC1tdXNsX2J1aWxkZXIvYnVpbGRzLzI5Nzc5L3N0ZXBzL3NoZWxsXzMvbG9ncy9zdGRp byIKLWZpCitleHBvcnQgQ0FSR09fRkVBVFVSRV9VU0VfU1lTVEVNX0xJQlM9MQorbm9jcm9zcz0i ZXhlY3V0ZXMgZ21wIGhlYWRlciBodHRwczovL2dpdGxhYi5jb20vdHNwaXRlcmkvZ21wLW1wZnIt c3lzLy0vYmxvYi92MS4yLjIvYnVpbGQucnMjTDEyNzgiCiAKIGNhc2UgIiRYQlBTX1RBUkdFVF9N QUNISU5FIiBpbgogCXg4Nl82NCp8aTY4Nip8YXJtKnxhYXJjaDY0KikgOzsK --===============8708281633404837574==--