From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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, NO_DNS_FOR_FROM autolearn=no autolearn_force=no version=3.4.4 Received: from inbox.vuxu.org (inbox.vuxu.org [IPv6:::1]) by inbox.vuxu.org (Postfix) with ESMTP id 6E5AD2124D for ; Wed, 3 Apr 2024 16:24:49 +0200 (CEST) Content-Type: multipart/mixed; boundary="===============0808476221876320179==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BMerged=5D=3A_texlab=3A_update_to_5=2E14=2E1?= To: ml@inbox.vuxu.org From: cinerea0 Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Wed, 03 Apr 2024 16:24:49 +0200 List-Id: Message-Id: <20240403142449.6E5AD2124D@inbox.vuxu.org> GitHub notification mails are now in MIME to allow UTF8. --===============0808476221876320179== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUncyBhIG1lcmdlZCBwdWxsIHJlcXVlc3Qgb24gdGhlIHZvaWQtcGFja2FnZXMgcmVwb3Np dG9yeQoKdGV4bGFiOiB1cGRhdGUgdG8gNS4xNC4xCmh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxp bnV4L3ZvaWQtcGFja2FnZXMvcHVsbC80OTY4NwoKRGVzY3JpcHRpb246CiMjIyMgVGVzdGluZyB0 aGUgY2hhbmdlcwotIEkgdGVzdGVkIHRoZSBjaGFuZ2VzIGluIHRoaXMgUFI6ICoqWUVTKioKCgo= --===============0808476221876320179==--