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 7493 invoked from network); 3 Jul 2021 18:49:10 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 3 Jul 2021 18:49:10 -0000 Content-Type: multipart/mixed; boundary="===============3136563253617638887==" MIME-Version: 1.0 Subject: =?utf8?q?=5BPR_PATCH=5D_picosat=3A_split_libpicosat=2C_enable_trace?= To: ml@inbox.vuxu.org From: Chocimier Reply-to: ml@inbox.vuxu.org Message-ID: Date: Sat, 03 Jul 2021 20:49:09 +0200 List-Id: GitHub notification mails are now in MIME to allow UTF8. --===============3136563253617638887== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYSBuZXcgcHVsbCByZXF1ZXN0IGJ5IENob2NpbWllciBhZ2FpbnN0IG1hc3RlciBv biB0aGUgdm9pZC1wYWNrYWdlcyByZXBvc2l0b3J5CgpodHRwczovL2dpdGh1Yi5jb20vQ2hvY2lt aWVyL3ZvaWQtcGFja2FnZXMtb3JnIHBpY29zYXQKaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGlu dXgvdm9pZC1wYWNrYWdlcy9wdWxsLzMxNzg5CgpwaWNvc2F0OiBzcGxpdCBsaWJwaWNvc2F0LCBl bmFibGUgdHJhY2UKZm9yIHVzYWdlIGluIHJlcG9kYiAKCkEgcGF0Y2ggZmlsZSBmcm9tIGh0dHBz Oi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4L3ZvaWQtcGFja2FnZXMvcHVsbC8zMTc4OS5wYXRjaCBp cyBhdHRhY2hlZA== --===============3136563253617638887== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-picosat-31789.patch" RnJvbSBmODIxNTY4NTBmMDc3MWRhZGQyZWFjZTdhMmQzN2JmZGYyODg0NTg1IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiA9P1VURi04P3E/UGlvdHI9MjBXPUMzPUIzamNpaz89IDxjaG9j aW1pZXJAdGxlbi5wbD4KRGF0ZTogTW9uLCAzIE1heSAyMDIxIDE2OjUzOjIwICswMjAwClN1Ympl Y3Q6IFtQQVRDSF0gcGljb3NhdDogc3BsaXQgbGlicGljb3NhdCwgZW5hYmxlIHRyYWNlCgotLS0K IHNyY3BrZ3MvbGlicGljb3NhdCAgICAgICB8ICAxICsKIHNyY3BrZ3MvcGljb3NhdC90ZW1wbGF0 ZSB8IDE0ICsrKysrKysrKysrLS0tCiAyIGZpbGVzIGNoYW5nZWQsIDEyIGluc2VydGlvbnMoKyks IDMgZGVsZXRpb25zKC0pCiBjcmVhdGUgbW9kZSAxMjAwMDAgc3JjcGtncy9saWJwaWNvc2F0Cgpk aWZmIC0tZ2l0IGEvc3JjcGtncy9saWJwaWNvc2F0IGIvc3JjcGtncy9saWJwaWNvc2F0Cm5ldyBm aWxlIG1vZGUgMTIwMDAwCmluZGV4IDAwMDAwMDAwMDAwMC4uYzk5OTZlNGUyNjE0Ci0tLSAvZGV2 L251bGwKKysrIGIvc3JjcGtncy9saWJwaWNvc2F0CkBAIC0wLDAgKzEgQEAKK3BpY29zYXQKXCBO byBuZXdsaW5lIGF0IGVuZCBvZiBmaWxlCmRpZmYgLS1naXQgYS9zcmNwa2dzL3BpY29zYXQvdGVt cGxhdGUgYi9zcmNwa2dzL3BpY29zYXQvdGVtcGxhdGUKaW5kZXggMjc1NjA1NjYyNzJiLi4zYTE0 YzdlZjEwNjcgMTAwNjQ0Ci0tLSBhL3NyY3BrZ3MvcGljb3NhdC90ZW1wbGF0ZQorKysgYi9zcmNw a2dzL3BpY29zYXQvdGVtcGxhdGUKQEAgLTEsNyArMSw3IEBACiAjIFRlbXBsYXRlIGZpbGUgZm9y ICdwaWNvc2F0JwogcGtnbmFtZT1waWNvc2F0CiB2ZXJzaW9uPTk2NQotcmV2aXNpb249MQorcmV2 aXNpb249MgogYnVpbGRfc3R5bGU9Y29uZmlndXJlCiBjb25maWd1cmVfc2NyaXB0PSIuL2NvbmZp Z3VyZS5zaCIKIGNvbmZpZ3VyZV9hcmdzPSItLXNoYXJlZCAtLXN0YXRpYyIKQEAgLTEzLDYgKzEz LDggQEAgY2hhbmdlbG9nPSJodHRwOi8vZm12LmprdS5hdC9waWNvc2F0L05FV1MiCiBkaXN0Zmls ZXM9Imh0dHA6Ly9mbXYuamt1LmF0L3BpY29zYXQvcGljb3NhdC0ke3ZlcnNpb259LnRhci5neiIK IGNoZWNrc3VtPTE1MTY5YjRmMjhiYThmNjI4ZjM1M2Y2Zjc1YTEwMDg0NWNkZWY0YTIyNDRmMTAx YTAyYjZlNWEyNmU0NmE3NTQKIAorQ0ZMQUdTPS1EVFJBQ0UKKwogcG9zdF9leHRyYWN0KCkgewog CSMgZml4IHBhcmFsbGVsIGJ1aWxkcwogCXZzZWQgLWkgLWUgJ3MvLWxcKHBpY29zYXRcKS8tbDps aWJcMS5hL2cnIG1ha2VmaWxlLmluCkBAIC0zMSwxMiArMzMsMTggQEAgZG9faW5zdGFsbCgpIHsK IAl2bGljZW5zZSBMSUNFTlNFCiB9CiAKK2xpYnBpY29zYXRfcGFja2FnZSgpIHsKKwlzaG9ydF9k ZXNjKz0iIC0gcnVudGltZSBsaWJyYXJ5IgorCXBrZ19pbnN0YWxsKCkgeworCQl2bW92ZSAidXNy L2xpYi8qLnNvIgorCX0KK30KKwogcGljb3NhdC1kZXZlbF9wYWNrYWdlKCkgewogCXNob3J0X2Rl c2MrPSIgLSBkZXZlbG9wbWVudCBmaWxlcyIKLQlkZXBlbmRzPSIke3NvdXJjZXBrZ30+PSR7dmVy c2lvbn1fJHtyZXZpc2lvbn0iCisJZGVwZW5kcz0ibGlicGljb3NhdD49JHt2ZXJzaW9ufV8ke3Jl dmlzaW9ufSIKIAlwa2dfaW5zdGFsbCgpIHsKIAkJdm1vdmUgdXNyL2luY2x1ZGUKIAkJdm1vdmUg InVzci9saWIvKi5hIgotCQl2bW92ZSAidXNyL2xpYi8qLnNvIgogCX0KIH0K --===============3136563253617638887==--