From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) 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.2 Received: (qmail 1849 invoked from network); 21 Apr 2020 13:19:57 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with UTF8ESMTPZ; 21 Apr 2020 13:19:57 -0000 Content-Type: multipart/mixed; boundary="===============7345880887496315809==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BClosed=5D=3A_zeroinstall=3A_use_system_ocaml_compiler?= To: ml@inbox.vuxu.org From: mobinmob Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Tue, 21 Apr 2020 15:19:57 +0200 List-Id: Message-ID: <20200421131957.i4BGVXRPOejACZ6CxzfhO8Rx3EAyJWw5WXrzn26JArA@z> GitHub notification mails are now in MIME to allow UTF8. --===============7345880887496315809== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUncyBhIGNsb3NlZCBwdWxsIHJlcXVlc3Qgb24gdGhlIHZvaWQtcGFja2FnZXMgcmVwb3Np dG9yeQoKemVyb2luc3RhbGw6IHVzZSBzeXN0ZW0gb2NhbWwgY29tcGlsZXIKaHR0cHM6Ly9naXRo dWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9wdWxsLzIxMjA0CgpEZXNjcmlwdGlvbjoK aHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9wdWxsLzIxMDM5I2lz c3VlY29tbWVudC02MTcxMjY5ODYK --===============7345880887496315809==--