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 24284 invoked from network); 3 Jul 2021 21:32:17 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 3 Jul 2021 21:32:17 -0000 Content-Type: multipart/mixed; boundary="===============3752372955824338179==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BMerged=5D=3A_picosat=3A_split_libpicosat=2C_enable_trace?= To: ml@inbox.vuxu.org From: leahneukirchen Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Sat, 03 Jul 2021 23:32:17 +0200 List-Id: Message-ID: <20210703213217.h4YfosaADEkj31DcRuQFI7l8zMQTLQ45SvWIJ-acI3Q@z> GitHub notification mails are now in MIME to allow UTF8. --===============3752372955824338179== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUncyBhIG1lcmdlZCBwdWxsIHJlcXVlc3Qgb24gdGhlIHZvaWQtcGFja2FnZXMgcmVwb3Np dG9yeQoKcGljb3NhdDogc3BsaXQgbGlicGljb3NhdCwgZW5hYmxlIHRyYWNlCmh0dHBzOi8vZ2l0 aHViLmNvbS92b2lkLWxpbnV4L3ZvaWQtcGFja2FnZXMvcHVsbC8zMTc4OQoKRGVzY3JpcHRpb246 CmZvciB1c2FnZSBpbiByZXBvZGIgCg== --===============3752372955824338179==--