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 20006 invoked from network); 23 May 2021 16:03:49 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 23 May 2021 16:03:49 -0000 Content-Type: multipart/mixed; boundary="===============2634869438018325698==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_REVIEW=5D_OCaml_4=2E12?= To: ml@inbox.vuxu.org From: kit-ty-kate Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Sun, 23 May 2021 18:03:49 +0200 List-Id: Message-ID: <20210523160349.yglU0DKwNibi48oz95Tl-ItNA6SOdl3gYNjYwfF8q_0@z> GitHub notification mails are now in MIME to allow UTF8. --===============2634869438018325698== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 TmV3IHJldmlldyBjb21tZW50IGJ5IGtpdC10eS1rYXRlIG9uIHZvaWQtcGFja2FnZXMgcmVwb3Np dG9yeQoKaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9wdWxsLzI5 Mjc5I2Rpc2N1c3Npb25fcjYzNzU2NzMzNQoKQ29tbWVudDoKMS45LjEgaGFzIGJlZW4gcmVsZWFz ZWQgKHdoZW4gdXNlZCB0aGUgYnVpbGQgZGVwIG9uIGBtNGAgY2FuIGJlIHJlbW92ZWQpCg== --===============2634869438018325698==--