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 1517 invoked from network); 21 Apr 2020 13:17:05 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with UTF8ESMTPZ; 21 Apr 2020 13:17:05 -0000 Content-Type: multipart/mixed; boundary="===============4953189804152461721==" MIME-Version: 1.0 Subject: =?utf8?q?=5BPR_PATCH=5D_zeroinstall=3A_use_system_ocaml_compiler?= To: ml@inbox.vuxu.org From: mobinmob Reply-to: ml@inbox.vuxu.org Message-ID: Date: Tue, 21 Apr 2020 15:17:05 +0200 List-Id: GitHub notification mails are now in MIME to allow UTF8. --===============4953189804152461721== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYSBuZXcgcHVsbCByZXF1ZXN0IGJ5IG1vYmlubW9iIGFnYWluc3QgbWFzdGVyIG9u IHRoZSB2b2lkLXBhY2thZ2VzIHJlcG9zaXRvcnkKCmh0dHBzOi8vZ2l0aHViLmNvbS9tb2Jpbm1v Yi92b2lkLXBhY2thZ2VzIHplcm9pbnN0YWxsLWZpeApodHRwczovL2dpdGh1Yi5jb20vdm9pZC1s aW51eC92b2lkLXBhY2thZ2VzL3B1bGwvMjEyMDQKCnplcm9pbnN0YWxsOiB1c2Ugc3lzdGVtIG9j YW1sIGNvbXBpbGVyCmh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4L3ZvaWQtcGFja2FnZXMv cHVsbC8yMTAzOSNpc3N1ZWNvbW1lbnQtNjE3MTI2OTg2CgpBIHBhdGNoIGZpbGUgZnJvbSBodHRw czovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2thZ2VzL3B1bGwvMjEyMDQucGF0Y2gg aXMgYXR0YWNoZWQ= --===============4953189804152461721== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-zeroinstall-fix-21204.patch" RnJvbSAxZDZiOWZlZDJkZWUwZDRkMWExNDUzY2RhYzA5MzYyNDg2NzliZTA2IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBtb2Jpbm1vYiA8bW9iaW5tb2JAZGlzcm9vdC5vcmc+CkRhdGU6 IFR1ZSwgMjEgQXByIDIwMjAgMTY6MTI6MTQgKzAzMDAKU3ViamVjdDogW1BBVENIXSB6ZXJvaW5z dGFsbDogdXNlIHN5c3RlbSBvY2FtbCBjb21waWxlcgoKLS0tCiBzcmNwa2dzL3plcm9pbnN0YWxs L3RlbXBsYXRlIHwgNiArKystLS0KIDEgZmlsZSBjaGFuZ2VkLCAzIGluc2VydGlvbnMoKyksIDMg ZGVsZXRpb25zKC0pCgpkaWZmIC0tZ2l0IGEvc3JjcGtncy96ZXJvaW5zdGFsbC90ZW1wbGF0ZSBi L3NyY3BrZ3MvemVyb2luc3RhbGwvdGVtcGxhdGUKaW5kZXggZGZkYzU0MTA2NjQuLjI5NmJiZDE1 YmI5IDEwMDY0NAotLS0gYS9zcmNwa2dzL3plcm9pbnN0YWxsL3RlbXBsYXRlCisrKyBiL3NyY3Br Z3MvemVyb2luc3RhbGwvdGVtcGxhdGUKQEAgLTEsMTIgKzEsMTIgQEAKICMgVGVtcGxhdGUgZmls ZSBmb3IgJ3plcm9pbnN0YWxsJwogcGtnbmFtZT16ZXJvaW5zdGFsbAogdmVyc2lvbj0yLjE2Ci1y ZXZpc2lvbj0xCityZXZpc2lvbj0yCiB3cmtzcmM9IjBpbnN0YWxsLXYke3ZlcnNpb259IgogYnVp bGRfc3R5bGU9Z251LW1ha2VmaWxlCiBtYWtlX2luc3RhbGxfdGFyZ2V0PSJpbnN0YWxsX3N5c3Rl bSIKIGhvc3RtYWtlZGVwZW5kcz0iZ2V0dGV4dCBvcGFtIG00IHRhciBwa2ctY29uZmlnIHdoaWNo IgotbWFrZWRlcGVuZHM9ImxpYnJlc3NsLWRldmVsIGxpYmN1cmwtZGV2ZWwgZ251cGcgZ2xpYi1k ZXZlbCBndGsrMy1kZXZlbCIKK21ha2VkZXBlbmRzPSJvY2FtbCBsaWJyZXNzbC1kZXZlbCBsaWJj dXJsLWRldmVsIGdudXBnIGdsaWItZGV2ZWwgZ3RrKzMtZGV2ZWwiCiBkZXBlbmRzPSJnbnVwZyBk ZXNrdG9wLWZpbGUtdXRpbHMgaGljb2xvci1pY29uLXRoZW1lIHhkZy11dGlscyIKIHNob3J0X2Rl c2M9IkNyb3NzLWRpc3RyaWJ1dGlvbiBzb2Z0d2FyZSBpbnN0YWxsYXRpb24gc3lzdGVtIgogbWFp bnRhaW5lcj0ibW9iaW5tb2IgPG1vYmlubW9iQGRpc3Jvb3Qub3JnPiIKQEAgLTE4LDcgKzE4LDcg QEAgbm9jcm9zcz0ib3BhbSBpcyBub2Nyb3NzIgogZGlzYWJsZV9wYXJhbGxlbF9idWlsZD15ZXMK IAogcHJlX2J1aWxkKCkgewotCW9wYW0gaW5pdCAteSAtLWNvbXBpbGVyPTQuMDcuMCAtLWRpc2Fi bGUtc2FuZGJveGluZworCW9wYW0gaW5pdCAteSAtLWNvbXBpbGVyPW9jYW1sLXN5c3RlbSAtLWRp c2FibGUtc2FuZGJveGluZwogCWV2YWwgJChvcGFtIGVudikKIAlvcGFtIGluc3RhbGwgLXkgeW9q c29uIHhtbG0gb3VuaXQgbHd0IGx3dF9yZWFjdCBvYnVzIG9jdXJsIHNoYSBkdW5lIGxhYmxndGsz IGx3dF9nbGliCiB9Cg== --===============4953189804152461721==--