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 autolearn=ham
	autolearn_force=no version=3.4.4
Received: (qmail 7293 invoked from network); 16 Nov 2020 15:24:17 -0000
Received: from localhost (HELO inbox.vuxu.org) (::1)
  by localhost with ESMTPUTF8; 16 Nov 2020 15:24:17 -0000
Content-Type: multipart/mixed; boundary="===============0990985585685680627=="
MIME-Version: 1.0
Subject: =?utf8?q?=5BPR_PATCH=5D_coq=3A_update_to_8=2E12=2E1?=
To: ml@inbox.vuxu.org
From: smorimoto <smorimoto@users.noreply.github.com>
Reply-to: ml@inbox.vuxu.org
Message-ID: <gh-mailinglist-notifications-41a7ca26-5023-4802-975b-f1789d68868e-void-packages-26431@inbox.vuxu.org>
Date: Mon, 16 Nov 2020 16:24:17 +0100
List-Id: <void-packages.gh-mailinglist-notifications.inbox.vuxu.org>

GitHub notification mails are now in MIME to allow UTF8.

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

VGhlcmUgaXMgYSBuZXcgcHVsbCByZXF1ZXN0IGJ5IHNtb3JpbW90byBhZ2FpbnN0IG1hc3RlciBv
biB0aGUgdm9pZC1wYWNrYWdlcyByZXBvc2l0b3J5CgpodHRwczovL2dpdGh1Yi5jb20vc21vcmlt
b3RvL3ZvaWQtcGFja2FnZXMgY29xLTguMTIuMQpodHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51
eC92b2lkLXBhY2thZ2VzL3B1bGwvMjY0MzEKCmNvcTogdXBkYXRlIHRvIDguMTIuMQoKCkEgcGF0
Y2ggZmlsZSBmcm9tIGh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4L3ZvaWQtcGFja2FnZXMv
cHVsbC8yNjQzMS5wYXRjaCBpcyBhdHRhY2hlZA==

--===============0990985585685680627==
Content-Type: text/x-diff
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="github-pr-coq-8.12.1-26431.patch"

RnJvbSBlYzFlYzg2ZWYzODA5OGY2MjY4YTQyZmJjNjZlMjg0YjkyMWQxYzBhIE1vbiBTZXAgMTcg
MDA6MDA6MDAgMjAwMQpGcm9tOiBTb3JhIE1vcmltb3RvIDxzb3JhQG1vcmltb3RvLmlvPgpEYXRl
OiBUdWUsIDE3IE5vdiAyMDIwIDAwOjIzOjU3ICswOTAwClN1YmplY3Q6IFtQQVRDSF0gY29xOiB1
cGRhdGUgdG8gOC4xMi4xCgpTaWduZWQtb2ZmLWJ5OiBTb3JhIE1vcmltb3RvIDxzb3JhQG1vcmlt
b3RvLmlvPgotLS0KIHNyY3BrZ3MvY29xL3RlbXBsYXRlIHwgNCArKy0tCiAxIGZpbGUgY2hhbmdl
ZCwgMiBpbnNlcnRpb25zKCspLCAyIGRlbGV0aW9ucygtKQoKZGlmZiAtLWdpdCBhL3NyY3BrZ3Mv
Y29xL3RlbXBsYXRlIGIvc3JjcGtncy9jb3EvdGVtcGxhdGUKaW5kZXggZDcwMGMxNzZjNjMuLjAx
YTc4MjliNTBmIDEwMDY0NAotLS0gYS9zcmNwa2dzL2NvcS90ZW1wbGF0ZQorKysgYi9zcmNwa2dz
L2NvcS90ZW1wbGF0ZQpAQCAtMSw2ICsxLDYgQEAKICMgVGVtcGxhdGUgZmlsZSBmb3IgJ2NvcScK
IHBrZ25hbWU9Y29xCi12ZXJzaW9uPTguMTIuMAordmVyc2lvbj04LjEyLjEKIHJldmlzaW9uPTEK
IGhvc3RtYWtlZGVwZW5kcz0ib2NhbWwgb2NhbWwtZmluZGxpYiBvY2FtbC1udW0gY2FtbHA1Igog
c2hvcnRfZGVzYz0iUHJvb2YgYXNzaXN0YW50IHdyaXR0ZW4gaW4gT0NhbWwiCkBAIC04LDcgKzgs
NyBAQCBtYWludGFpbmVyPSJMZWFoIE5ldWtpcmNoZW4gPGxlYWhAdnV4dS5vcmc+IgogbGljZW5z
ZT0iTEdQTC0yLjEtb25seSIKIGhvbWVwYWdlPSJodHRwczovL2NvcS5pbnJpYS5mciIKIGRpc3Rm
aWxlcz0iaHR0cHM6Ly9naXRodWIuY29tL2NvcS9jb3EvYXJjaGl2ZS9WJHt2ZXJzaW9ufS50YXIu
Z3oiCi1jaGVja3N1bT1lY2RlMTRjNjEzMmY1YWJiNDU5ZTdmNDcyNDc4ODc4ODkyODE3NGFkNDQ4
NGZmZjg4ZTg2YjAwODY3NzliY2VlCitjaGVja3N1bT1kYWJhZDkxMTIzOWM2OWVjZjc5OTMxYjUx
M2NiNDI3MTAxYzJmMTVmMDQ1MWFmMDU2ZmJmMTgxZGY1MjZmOGE1CiBub3BpZT15ZXMKIG5vY3Jv
c3M9eWVzCiAK

--===============0990985585685680627==--