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=-1.0 required=5.0 tests=ALL_TRUSTED,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4
Received: (qmail 17244 invoked from network); 15 Jul 2022 20:41:30 -0000
Received: from localhost (HELO inbox.vuxu.org) (::1)
  by localhost with ESMTPUTF8; 15 Jul 2022 20:41:30 -0000
Content-Type: multipart/mixed; boundary="===============0927040204585007127=="
MIME-Version: 1.0
Subject: =?utf8?q?=5BISSUE=5D_Package_request=3A_agda?=
To: ml@inbox.vuxu.org
From: Eloitor <Eloitor@users.noreply.github.com>
Reply-to: ml@inbox.vuxu.org
Message-ID: <gh-mailinglist-notifications-41a7ca26-5023-4802-975b-f1789d68868e-void-packages-38090@inbox.vuxu.org>
Date: Fri, 15 Jul 2022 22:41:30 +0200
List-Id: <void-packages.gh-mailinglist-notifications.inbox.vuxu.org>

GitHub notification mails are now in MIME to allow UTF8.

--===============0927040204585007127==
Content-Type: text/plain; charset="utf8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64

TmV3IGlzc3VlIGJ5IEVsb2l0b3Igb24gdm9pZC1wYWNrYWdlcyByZXBvc2l0b3J5CgpodHRwczov
L2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2thZ2VzL2lzc3Vlcy8zODA5MAoKRGVzY3Jp
cHRpb246CiMjIyBQYWNrYWdlIG5hbWUKCmFnZGEKCiMjIyBQYWNrYWdlIGhvbWVwYWdlCgpodHRw
czovL2dpdGh1Yi5jb20vYWdkYS9hZ2RhCgojIyMgRGVzY3JpcHRpb24KCkFnZGEgaXMgYSBkZXBl
bmRlbnRseSB0eXBlZCBwcm9ncmFtbWluZyBsYW5ndWFnZSAvIGludGVyYWN0aXZlIHRoZW9yZW0g
cHJvdmVyLgoKIyMjIERvZXMgdGhlIHJlcXVlc3RlZCBwYWNrYWdlIG1lZXQgdGhlIHF1YWxpdHkg
cmVxdWlyZW1lbnRzPwoKU3lzdGVtLCBDb21waWxlZAoKIyMjIElzIHRoZSByZXF1ZXN0ZWQgcGFj
a2FnZSByZWxlYXNlZD8KClllcwo=

--===============0927040204585007127==--