From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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: from inbox.vuxu.org (localhost [IPv6:::1]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id d805e415 for ; Wed, 18 Sep 2019 04:40:48 +0000 (UTC) Content-Type: multipart/mixed; boundary="===============7513169771679389598==" MIME-Version: 1.0 Subject: Re: New package: idris-1.3.2 To: ml@inbox.vuxu.org From: voidlinux-github@inbox.vuxu.org Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Wed, 18 Sep 2019 06:40:48 +0200 Message-ID: <20190918044048.OZiQzOwfUJwrxfpMNOHsCM_Pkw_ezpgQ8BPasATE6q8@z> GitHub notification mails are now in MIME to allow UTF8. --===============7513169771679389598== MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 TmV3IGNvbW1lbnQgYnkgemhlbmdxdW5rb28gb24gdm9pZC1wYWNrYWdlcyByZXBvc2l0b3J5Cgpo dHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2thZ2VzL3B1bGwvMTQ1MjIjaXNz dWVjb21tZW50LTUzMjUxNTMyMgoKQ29tbWVudDoKQWxsIGZhaWxlZCBjaGVja3MgYmVnaW4gd2l0 aDoNCmBgYA0KL3Vzci9iaW4vbGQ6IC91c3IvbGliL2djYy94ODZfNjQtbGludXgtbXVzbC85LjIu MC8uLi8uLi8uLi8uLi9saWIvY3J0MS5vOiBpbiBmdW5jdGlvbiBgX3N0YXJ0X2MnOg0KDQovYnVp bGRkaXIvbXVzbC0xLjEuMjMvY3J0L2NydDEuYzoxODowOiBlcnJvcjoNCg0KICAgICB1bmRlZmlu ZWQgcmVmZXJlbmNlIHRvIGBtYWluJw0KYGBgDQoNCkFzIGZhciBhcyBJIGtub3csIHRoaXMgaXMg Y2F1c2VkIGJ5IG1pc3NpbmcgZ2hjIG9yIG1pc3Npbmcgc3RhY2sgaG9zdG1ha2VkZXBlbmRlbmNp ZXMuCg== --===============7513169771679389598==--