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, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 9622 invoked from network); 6 Sep 2022 07:41:25 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 6 Sep 2022 07:41:25 -0000 Content-Type: multipart/mixed; boundary="===============1983125757884417728==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BMerged=5D=3A_ocaml-lablgtk2=3A_remove_package?= To: ml@inbox.vuxu.org From: classabbyamp Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Tue, 06 Sep 2022 09:41:25 +0200 List-Id: Message-ID: <20220906074125.CL_hEGkErc4IzgEelTv4xLprwZPydCNLtOPTq_kBDqk@z> GitHub notification mails are now in MIME to allow UTF8. --===============1983125757884417728== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUncyBhIG1lcmdlZCBwdWxsIHJlcXVlc3Qgb24gdGhlIHZvaWQtcGFja2FnZXMgcmVwb3Np dG9yeQoKb2NhbWwtbGFibGd0azI6IHJlbW92ZSBwYWNrYWdlCmh0dHBzOi8vZ2l0aHViLmNvbS92 b2lkLWxpbnV4L3ZvaWQtcGFja2FnZXMvcHVsbC8zOTA2NQoKRGVzY3JpcHRpb246Cmd0azIsIG5v dCB1c2VkIGJ5IGFueSBvdGhlciBwYWNrYWdlcw0KDQpndGszIHZlcnNpb24gZXhpc3RzLCBidXQg aXQgd291bGQgYmUgY2FsbGVkIG9jYW1sLWxhYmxndGszLCBzbyBhbiB1cGRhdGUgZG9lc24ndCBt YWtlIHNlbnNlCg== --===============1983125757884417728==--