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 9255 invoked from network); 16 Jul 2021 19:45:13 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 16 Jul 2021 19:45:13 -0000 Content-Type: multipart/mixed; boundary="===============2406920132635201642==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_OCaml_4=2E12?= To: ml@inbox.vuxu.org From: leahneukirchen Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Fri, 16 Jul 2021 21:45:13 +0200 List-Id: Message-ID: <20210716194513.lxULevGbM02dEifU-pZXOSC3mGyARyJemgDDrqUyy7M@z> GitHub notification mails are now in MIME to allow UTF8. --===============2406920132635201642== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 TmV3IGNvbW1lbnQgYnkgbGVhaG5ldWtpcmNoZW4gb24gdm9pZC1wYWNrYWdlcyByZXBvc2l0b3J5 CgpodHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2thZ2VzL3B1bGwvMjkyNzkj aXNzdWVjb21tZW50LTg4MTY3ODA3NwoKQ29tbWVudDoKQHRoeXBvbiBJJ20gdGVtcHRlZCB0byBy ZW1vdmUgcG9seWdlbiwgaXQncyB1cHN0cmVhbSB1bm1haW50YWluZWQgYW5kIHJlYWxseSBub3Qg dmVyeSB1c2VmdWwuLi4K --===============2406920132635201642==--