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 17931 invoked from network); 24 Nov 2021 16:52:08 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 24 Nov 2021 16:52:08 -0000 Content-Type: multipart/mixed; boundary="===============7655496000374383257==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BISSUE=5D_=5BCLOSED=5D_ocaml-4=2E13=2E1=5F1_package_pollutes_=60/usr/lib/=60_directory=2E?= To: ml@inbox.vuxu.org From: leahneukirchen Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Wed, 24 Nov 2021 17:52:08 +0100 List-Id: Message-ID: <20211124165208.pSXdFaNbWUZnfWQg5n24zcML_Rs6N90GEFMEXthG78k@z> GitHub notification mails are now in MIME to allow UTF8. --===============7655496000374383257== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Q2xvc2VkIGlzc3VlIGJ5IGdyYXZpY2FwcGEgb24gdm9pZC1wYWNrYWdlcyByZXBvc2l0b3J5Cgpo dHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2thZ2VzL2lzc3Vlcy8zMzkxMQoK RGVzY3JpcHRpb246CiMjIyBTeXN0ZW0NCg0KKiB4dW5hbWU6IFZvaWQgNS43LjlfMSB4ODZfNjQg R2VudWluZUludGVsIG5vdHVwdG9kYXRlIHJybUZGRg0KKiBwYWNrYWdlOiBvY2FtbC00LjEzLjFf MQ0KDQojIyMgRXhwZWN0ZWQgYmVoYXZpb3INCkFsbCBgKi5tbGAsIGAqLm1saWAsIGAqLmNtKmAs IGAqLmFgIChhbmQgc29tZSBvdGhlcnMpIGZpbGVzIG9mIG9jYW1sIHBhY2thZ2UgYXJlIGV4cGVj dGVkIHRvIGJlIGluIGAvdXNyL2xpYi9vY2FtbGAgZGlyZWN0b3J5Lg0KDQojIyMgQWN0dWFsIGJl aGF2aW9yDQpUaG9zZSBmaWxlcyBhcmUgc3ByZWFkIGFjcm9zcyBgL3Vzci9saWJgIGRpcmVjdG9y eS4NCg0KIyMjIFN0ZXBzIHRvIHJlcHJvZHVjZSB0aGUgYmVoYXZpb3INCmB4YnBzLWluc3RhbGwg b2NhbWxgDQoK --===============7655496000374383257==--