From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:33377) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1i2qFY-00062u-A8 for guix-patches@gnu.org; Wed, 28 Aug 2019 01:12:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1i2qFW-0005CV-F3 for guix-patches@gnu.org; Wed, 28 Aug 2019 01:12:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:40904) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1i2qFW-0005CK-B8 for guix-patches@gnu.org; Wed, 28 Aug 2019 01:12:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1i2qFW-00052X-5H for guix-patches@gnu.org; Wed, 28 Aug 2019 01:12:02 -0400 Subject: [bug#37038] Amending author email Resent-Message-ID: MIME-Version: 1.0 References: <87tva2kznr.fsf@gnu.org> In-Reply-To: From: John Soo Date: Wed, 28 Aug 2019 05:11:30 +0000 Message-ID: Content-Type: multipart/mixed; boundary="000000000000a79a890591266c9c" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 37038@debbugs.gnu.org --000000000000a79a890591266c9c Content-Type: multipart/alternative; boundary="000000000000a79a870591266c9a" --000000000000a79a870591266c9a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hey everyone, Sorry for that last response, stupid email client. Redoing that. I would love to use gnus for email but I think I need to work on a more recent commit. Sorry for any formatting issues in my emails for now. > Applied with a followup commit to address =E2=80=98guix lint=E2=80=99 war= nings. Thank you! I was unsure what to do about those lint errors. I updated cedille with the proper fetch to fix the lint issues with it. > Also, it fails to build for me I included a second patch to fix the build issue. It looks like this line in the Makefile would cause this problem ./ial/ial.agda-lib: git submodule update --init --recursive > To aid readability, I=E2=80=99d call the variable just =E2=80=99lisp=E2= =80=99; long names aren=E2=80=99t > helpful for local variables IMO. Fixed, I agree. > Should it be a FIXME? I made it a FIXME. > =E2=80=98string-append=E2=80=99 is unnecessary. Fixed, woops!. > M-q here if you use Emacs. :-) I am an Emacs user but I do not know what M-q does (evil mode user, here). What does it do? Thanks again! - John --000000000000a79a870591266c9a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hey everyone,

Sorry for that last response, stupid email client. Redoing that.=C2=A0 I= would love to use gnus for email but I think I need to work on a more rece= nt commit. Sorry for any formatting issues in my emails for now.
<= div>
> Applied with a = followup commit to address =E2=80=98guix lint=E2=80=99 warnings.

Thank you! I was unsure what to do about = those lint errors. I updated cedille with the pro= per fetch to fix the lint issues with it.

=
>=C2=A0 Also, it fails to build for me

I included a second patch to fix the build issue. It looks like t= his line in the Makefile would cause this problem

= ./ial/ial.agda-lib:
=C2=A0=C2=A0=C2=A0 git submodule update --ini= t --recursive

> To aid reada= bility, I=E2=80=99d call the variable just =E2=80=99lisp=E2=80=99; long nam= es aren=E2=80=99t
> helpful for local variables IMO.

Fixed, I agr= ee.

>=20 Should it be a FIXME?

I made it a FIXME.

>=20 =E2=80=98string-append=E2=80=99 is unnecessary.

Fi= xed, woops!.

>=20 M-q here if you use Emacs.=C2=A0 :-)

I am an Emacs= user but I do not know what M-q does (evil mode user, here). What does it = do?

Thanks again!

- John<= /div>




--000000000000a79a870591266c9a-- --000000000000a79a890591266c9c Content-Type: text/x-patch; charset="US-ASCII"; name="0001-gnu-agda-ial-Fix-install-step.patch" Content-Disposition: attachment; filename="0001-gnu-agda-ial-Fix-install-step.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_jzusvt7g0 RnJvbSAwMGU1NDZmNjUwYjVhOTA5MDkyZTQxZmJlYjQ1NTg4MDk2YzkyYTE4IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBKb2huIFNvbyA8anNvbzFAYXN1LmVkdT4KRGF0ZTogVHVlLCAy NyBBdWcgMjAxOSAyMTo0NjoyNiAtMDcwMApTdWJqZWN0OiBbUEFUQ0ggMS8yXSBnbnU6IGFnZGEt aWFsOiBGaXggaW5zdGFsbCBzdGVwLgoKKiBnbnUvcGFja2FnZXMvYWdkYS5zY20gKGFnZGEtaWFs KTogY29weSBsaWJyYXJ5IGFuZCBhZ2RhaSBmaWxlcyB3aGVuIGluc3RhbGxpbmcuCi0tLQogZ251 L3BhY2thZ2VzL2FnZGEuc2NtIHwgMiArLQogMSBmaWxlIGNoYW5nZWQsIDEgaW5zZXJ0aW9uKCsp LCAxIGRlbGV0aW9uKC0pCgpkaWZmIC0tZ2l0IGEvZ251L3BhY2thZ2VzL2FnZGEuc2NtIGIvZ251 L3BhY2thZ2VzL2FnZGEuc2NtCmluZGV4IDU2ZDRiMTU5NDAuLmMwODViZmFjMmUgMTAwNjQ0Ci0t LSBhL2dudS9wYWNrYWdlcy9hZ2RhLnNjbQorKysgYi9nbnUvcGFja2FnZXMvYWdkYS5zY20KQEAg LTE5MCw3ICsxOTAsNyBAQCBBZ2RhLiAgSXQgYWxzbyBhaWRzIHRoZSBpbnB1dCBvZiBVbmljb2Rl IGNoYXJhY3RlcnMuIikpKQogICAgICAgICAgICAgICAgKGZvci1lYWNoIChsYW1iZGEgKGZpbGUp CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAobWFrZS1maWxlLXdyaXRhYmxlIGZpbGUpCiAg ICAgICAgICAgICAgICAgICAgICAgICAgICAoaW5zdGFsbC1maWxlIGZpbGUgaW5jbHVkZSkpCi0g ICAgICAgICAgICAgICAgICAgICAgICAgKGZpbmQtZmlsZXMgIi4iICJcXC5hZ2RhJCIpKQorICAg ICAgICAgICAgICAgICAgICAgICAgIChmaW5kLWZpbGVzICIuIiAiXFwuYWdkYWk/KC1saWIpPyQi KSkKICAgICAgICAgICAgICAgICN0KSkpKSkpCiAgICAgKHN5bm9wc2lzICJUaGUgSW93YSBBZ2Rh IExpYnJhcnkiKQogICAgIChkZXNjcmlwdGlvbgotLSAKMi4yMi4wCgo= --000000000000a79a890591266c9c Content-Type: text/x-patch; charset="UTF-8"; name="0002-gnu-Add-cedille.patch" Content-Disposition: attachment; filename="0002-gnu-Add-cedille.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_jzusvt7g1 RnJvbSA1NjAyMjYyYTc3ODViOGIxZjYwZGJhYjhiMGFkMjQzNTFjMzNmN2EyIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBKb2huIFNvbyA8anNvbzFAYXN1LmVkdT4KRGF0ZTogTW9uLCAx MiBBdWcgMjAxOSAwODo0MzowNyAtMDcwMApTdWJqZWN0OiBbUEFUQ0ggMi8yXSBnbnU6IEFkZCBj ZWRpbGxlLgoKKiBnbnUvcGFja2FnZXMvY2VkaWxsZS5zY206IG5ldyBmaWxlLgoqIGdudS9wYWNr YWdlcy9jZWRpbGxlLnNjbSAoY2VkaWxsZSk6IG5ldyB2YXJpYWJsZS4KKiBnbnUvbG9jYWwubWsg KGNlZGlsbGUpOiBBZGQgY2VkaWxsZS5zY20gdG8gR05VX1NZU1RFTV9NT0RVTEVTLgotLS0KIGdu dS9sb2NhbC5tayAgICAgICAgICAgICB8ICAgMiArCiBnbnUvcGFja2FnZXMvY2VkaWxsZS5zY20g fCAxMjAgKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrCiAyIGZpbGVzIGNo YW5nZWQsIDEyMiBpbnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMDA2NDQgZ251L3BhY2thZ2Vz L2NlZGlsbGUuc2NtCgpkaWZmIC0tZ2l0IGEvZ251L2xvY2FsLm1rIGIvZ251L2xvY2FsLm1rCmlu ZGV4IGE3NTYzMTZmNzcuLjhmYjE2YTNhYjYgMTAwNjQ0Ci0tLSBhL2dudS9sb2NhbC5taworKysg Yi9nbnUvbG9jYWwubWsKQEAgLTIxLDYgKzIxLDcgQEAKICMgQ29weXJpZ2h0IMKpIDIwMTggU3Rl ZmFuIFN0ZWZhbm92acSHIDxzdGVmYW54Mm92aWNAZ21haWwuY29tPgogIyBDb3B5cmlnaHQgwqkg MjAxOCBNYXhpbSBDb3Vybm95ZXIgPG1heGltLmNvdXJub3llckBnbWFpbC5jb20+CiAjIENvcHly aWdodCDCqSAyMDE5IEd1aWxsYXVtZSBMZSBWYWlsbGFudCA8Z2x2QHBvc3Rlby5uZXQ+CisjIENv cHlyaWdodCDCqSAyMDE5IEpvaG4gU29vIDxqc29vMUBhc3UuZWR1PgogIwogIyBUaGlzIGZpbGUg aXMgcGFydCBvZiBHTlUgR3VpeC4KICMKQEAgLTk5LDYgKzEwMCw3IEBAIEdOVV9TWVNURU1fTU9E VUxFUyA9CQkJCVwKICAgJUQlL3BhY2thZ2VzL2NhbGN1cnNlLnNjbQkJCVwKICAgJUQlL3BhY2th Z2VzL2NjYWNoZS5zY20JCQlcCiAgICVEJS9wYWNrYWdlcy9jZHJvbS5zY20JCQlcCisgICVEJS9w YWNrYWdlcy9jZWRpbGxlLnNjbQkJCVwKICAgJUQlL3BhY2thZ2VzL2NlcnRzLnNjbQkJCVwKICAg JUQlL3BhY2thZ2VzL2NoZWNrLnNjbQkJCVwKICAgJUQlL3BhY2thZ2VzL2NoZW1pc3RyeS5zY20J CQlcCmRpZmYgLS1naXQgYS9nbnUvcGFja2FnZXMvY2VkaWxsZS5zY20gYi9nbnUvcGFja2FnZXMv Y2VkaWxsZS5zY20KbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMC4uZDViNGI2 M2ZhOQotLS0gL2Rldi9udWxsCisrKyBiL2dudS9wYWNrYWdlcy9jZWRpbGxlLnNjbQpAQCAtMCww ICsxLDEyMCBAQAorOzs7IEdOVSBHdWl4IC0tLSBGdW5jdGlvbmFsIHBhY2thZ2UgbWFuYWdlbWVu dCBmb3IgR05VCis7OzsgQ29weXJpZ2h0IMKpIDIwMTkgSm9obiBTb28gPGpzb28xQGFzdS5lZHU+ Cis7OzsKKzs7OyBUaGlzIGZpbGUgaXMgcGFydCBvZiBHTlUgR3VpeC4KKzs7OworOzs7IEdOVSBH dWl4IGlzIGZyZWUgc29mdHdhcmU7IHlvdSBjYW4gcmVkaXN0cmlidXRlIGl0IGFuZC9vciBtb2Rp ZnkgaXQKKzs7OyB1bmRlciB0aGUgdGVybXMgb2YgdGhlIEdOVSBHZW5lcmFsIFB1YmxpYyBMaWNl bnNlIGFzIHB1Ymxpc2hlZCBieQorOzs7IHRoZSBGcmVlIFNvZnR3YXJlIEZvdW5kYXRpb247IGVp dGhlciB2ZXJzaW9uIDMgb2YgdGhlIExpY2Vuc2UsIG9yIChhdAorOzs7IHlvdXIgb3B0aW9uKSBh bnkgbGF0ZXIgdmVyc2lvbi4KKzs7OworOzs7IEdOVSBHdWl4IGlzIGRpc3RyaWJ1dGVkIGluIHRo ZSBob3BlIHRoYXQgaXQgd2lsbCBiZSB1c2VmdWwsIGJ1dAorOzs7IFdJVEhPVVQgQU5ZIFdBUlJB TlRZOyB3aXRob3V0IGV2ZW4gdGhlIGltcGxpZWQgd2FycmFudHkgb2YKKzs7OyBNRVJDSEFOVEFC SUxJVFkgb3IgRklUTkVTUyBGT1IgQSBQQVJUSUNVTEFSIFBVUlBPU0UuICBTZWUgdGhlCis7Ozsg R05VIEdlbmVyYWwgUHVibGljIExpY2Vuc2UgZm9yIG1vcmUgZGV0YWlscy4KKzs7OworOzs7IFlv dSBzaG91bGQgaGF2ZSByZWNlaXZlZCBhIGNvcHkgb2YgdGhlIEdOVSBHZW5lcmFsIFB1YmxpYyBM aWNlbnNlCis7OzsgYWxvbmcgd2l0aCBHTlUgR3VpeC4gIElmIG5vdCwgc2VlIDxodHRwOi8vd3d3 LmdudS5vcmcvbGljZW5zZXMvPi4KKworKGRlZmluZS1tb2R1bGUgKGdudSBwYWNrYWdlcyBjZWRp bGxlKQorICAjOnVzZS1tb2R1bGUgKGdudSBwYWNrYWdlcykKKyAgIzp1c2UtbW9kdWxlIChnbnUg cGFja2FnZXMgYWdkYSkKKyAgIzp1c2UtbW9kdWxlIChnbnUgcGFja2FnZXMgZW1hY3MteHl6KQor ICAjOnVzZS1tb2R1bGUgKGdudSBwYWNrYWdlcyBoYXNrZWxsKQorICAjOnVzZS1tb2R1bGUgKGdu dSBwYWNrYWdlcyB2ZXJzaW9uLWNvbnRyb2wpCisgICM6dXNlLW1vZHVsZSAoZ3VpeCBidWlsZC1z eXN0ZW0gZW1hY3MpCisgICM6dXNlLW1vZHVsZSAoZ3VpeCBnaXQtZG93bmxvYWQpCisgICM6dXNl LW1vZHVsZSAoKGd1aXggbGljZW5zZXMpICM6cHJlZml4IGxpY2Vuc2U6KQorICAjOnVzZS1tb2R1 bGUgKGd1aXggcGFja2FnZXMpKQorCisoZGVmaW5lLXB1YmxpYyBjZWRpbGxlCisgIChwYWNrYWdl CisgICAgKG5hbWUgImNlZGlsbGUiKQorICAgICh2ZXJzaW9uICIxLjEuMSIpCisgICAgKHNvdXJj ZQorICAgICAob3JpZ2luCisgICAgICAgKG1ldGhvZCBnaXQtZmV0Y2gpCisgICAgICAgKHVyaSAo dXJsICJodHRwczovL2dpdGh1Yi5jb20vY2VkaWxsZS9jZWRpbGxlIgorICAgICAgICAgICAgICAg ICAoY29tbWl0IChzdHJpbmctYXBwZW5kICJ2IiB2ZXJzaW9uKSkpKQorICAgICAgIChzaGEyNTYK KyAgICAgICAgKGJhc2UzMgorICAgICAgICAgIjA1YjMyZnNzaGNqcmJoOXlzejRwZnY1eTVqbmRr eWNkN3FyZzhzZGg0c3BubGYwNzdyOTIiKSkpKQorICAgIChpbnB1dHMKKyAgICAgYCgoImFnZGEi ICxhZ2RhKQorICAgICAgICgiYWdkYS1pYWwiICxhZ2RhLWlhbCkKKyAgICAgICAoImdoYyIgLGdo Yy04LjQpCisgICAgICAgKCJnaGMtYWxleCIgLGdoYy1hbGV4KQorICAgICAgICgiZ2hjLWhhcHB5 IiAsZ2hjLWhhcHB5KQorICAgICAgICgiZ2l0IiAsZ2l0KSkpCisgICAgKGJ1aWxkLXN5c3RlbSBl bWFjcy1idWlsZC1zeXN0ZW0pCisgICAgKGFyZ3VtZW50cworICAgICBgKCM6cGhhc2VzCisgICAg ICAgKG1vZGlmeS1waGFzZXMgJXN0YW5kYXJkLXBoYXNlcworICAgICAgICAgKGFkZC1hZnRlciAn dW5wYWNrICdwYXRjaC1jZWRpbGxlLXBhdGgtZWwKKyAgICAgICAgICAgKGxhbWJkYSogKCM6a2V5 IG91dHB1dHMgIzphbGxvdy1vdGhlci1rZXlzKQorICAgICAgICAgICAgIChsZXQgKChvdXQgKGFz c29jLXJlZiBvdXRwdXRzICJvdXQiKSkpCisgICAgICAgICAgICAgICAoc3Vic3RpdHV0ZSogImNl ZGlsbGUtbW9kZS5lbCIKKyAgICAgICAgICAgICAgICAgKCgiL3Vzci9zaGFyZS9lbWFjcy9zaXRl LWxpc3AvY2VkaWxsZS1tb2RlIikKKyAgICAgICAgICAgICAgICAgIChzdHJpbmctYXBwZW5kCisg ICAgICAgICAgICAgICAgICAgb3V0ICIvc2hhcmUvZW1hY3Mvc2l0ZS1saXNwL2d1aXguZC9jZWRp bGxlLSIKKyAgICAgICAgICAgICAgICAgICAsdmVyc2lvbikpKQorICAgICAgICAgICAgICAgI3Qp KSkKKyAgICAgICAgIChhZGQtYWZ0ZXIgJ3VucGFjayAnY29weS1jZWRpbGxlLW1vZGUKKyAgICAg ICAgICAgKGxhbWJkYSogKCM6a2V5IG91dHB1dHMgIzphbGxvdy1vdGhlci1rZXlzKQorICAgICAg ICAgICAgIChsZXQqICgob3V0IChhc3NvYy1yZWYgb3V0cHV0cyAib3V0IikpCisgICAgICAgICAg ICAgICAgICAgIChsaXNwCisgICAgICAgICAgICAgICAgICAgICAoc3RyaW5nLWFwcGVuZAorICAg ICAgICAgICAgICAgICAgICAgIG91dCAiL3NoYXJlL2VtYWNzL3NpdGUtbGlzcC9ndWl4LmQvY2Vk aWxsZS0iCisgICAgICAgICAgICAgICAgICAgICAgLHZlcnNpb24gIi8iKSkpCisgICAgICAgICAg ICAgICAobWtkaXItcCAoc3RyaW5nLWFwcGVuZCBsaXNwICJjZWRpbGxlLW1vZGUiKSkKKyAgICAg ICAgICAgICAgIChjb3B5LXJlY3Vyc2l2ZWx5CisgICAgICAgICAgICAgICAgImNlZGlsbGUtbW9k ZSIKKyAgICAgICAgICAgICAgICAoc3RyaW5nLWFwcGVuZCBsaXNwICJjZWRpbGxlLW1vZGUiKSkK KyAgICAgICAgICAgICAgIChta2Rpci1wIChzdHJpbmctYXBwZW5kIGxpc3AgInNlLW1vZGUiKSkK KyAgICAgICAgICAgICAgIChjb3B5LXJlY3Vyc2l2ZWx5CisgICAgICAgICAgICAgICAgInNlLW1v ZGUiCisgICAgICAgICAgICAgICAgKHN0cmluZy1hcHBlbmQgbGlzcCAic2UtbW9kZSIpKQorICAg ICAgICAgICAgICAgI3QpKSkKKyAgICAgICAgIDs7IEZJWE1FOiBCeXRlIGNvbXBpbGF0aW9uIGZh aWxzCisgICAgICAgICAoZGVsZXRlICdidWlsZCkKKyAgICAgICAgIChyZXBsYWNlICdjaGVjawor ICAgICAgICAgICAobGFtYmRhIF8KKyAgICAgICAgICAgICAod2l0aC1kaXJlY3RvcnktZXhjdXJz aW9uICJjZWRpbGxlLXRlc3RzIgorICAgICAgICAgICAgICAgKGludm9rZSAic2giICJydW4tdGVz dHMuc2giKSkpKQorICAgICAgICAgKGFkZC1hZnRlciAndW5wYWNrICdwYXRjaC1saWJyYXJpZXMK KyAgICAgICAgICAgKGxhbWJkYSBfIChwYXRjaC1zaGViYW5nICJjcmVhdGUtbGlicmFyaWVzLnNo IikgI3QpKQorICAgICAgICAgKGFkZC1hZnRlciAndW5wYWNrICdjb3B5LWlhbAorICAgICAgICAg ICAobGFtYmRhKiAoIzprZXkgaW5wdXRzICM6YWxsb3ctb3RoZXIta2V5cykKKyAgICAgICAgICAg ICAoY29weS1yZWN1cnNpdmVseQorICAgICAgICAgICAgICAoc3RyaW5nLWFwcGVuZCAoYXNzb2Mt cmVmIGlucHV0cyAiYWdkYS1pYWwiKQorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAiL2lu Y2x1ZGUvYWdkYS9pYWwiKQorICAgICAgICAgICAgICAiaWFsIikKKyAgICAgICAgICAgICA7OyBB bWJpZ3VvdXMgbW9kdWxlIGlmIG1haW4gaXMgaW5jbHVkZWQgZnJvbSBpYWwKKyAgICAgICAgICAg ICAoZGVsZXRlLWZpbGUgImlhbC9tYWluLmFnZGEiKQorICAgICAgICAgICAgICN0KSkKKyAgICAg ICAgIChhZGQtYWZ0ZXIgJ2NoZWNrICdidWlsZC1jZWRpbGxlCisgICAgICAgICAgIDs7IEFnZGEg aGFzIGEgaGFyZCB0aW1lIHdpdGggcGFyYWxsZWwgY29tcGlsYXRpb24KKyAgICAgICAgICAgKGxh bWJkYSBfIChpbnZva2UgIm1ha2UiICItLWpvYnM9MSIpKSkKKyAgICAgICAgIChhZGQtYWZ0ZXIg J2luc3RhbGwgJ2luc3RhbGwtY2VkaWxsZQorICAgICAgICAgICAobGFtYmRhKiAoIzprZXkgb3V0 cHV0cyAjOmFsbG93LW90aGVyLWtleXMpCisgICAgICAgICAgICAgKGxldCAoKG91dCAoYXNzb2Mt cmVmIG91dHB1dHMgIm91dCIpKSkKKyAgICAgICAgICAgICAgIChjb3B5LXJlY3Vyc2l2ZWx5Cisg ICAgICAgICAgICAgICAgImxpYiIgKHN0cmluZy1hcHBlbmQgb3V0ICIvbGliL2NlZGlsbGUiKSkK KyAgICAgICAgICAgICAgIChpbnN0YWxsLWZpbGUgImNlZGlsbGUiIChzdHJpbmctYXBwZW5kIG91 dCAiL2JpbiIpKQorICAgICAgICAgICAgICAgKGluc3RhbGwtZmlsZSAiY29yZS9jZWRpbGxlLWNv cmUiCisgICAgICAgICAgICAgICAgICAgICAgICAgICAgIChzdHJpbmctYXBwZW5kIG91dCAiL2Jp biIpKQorICAgICAgICAgICAgICAgI3QpKSkpKSkKKyAgICAoaG9tZS1wYWdlICJodHRwczovL2Nl ZGlsbGUuZ2l0aHViLmlvLyIpCisgICAgKHN5bm9wc2lzCisgICAgICJMYW5ndWFnZSBiYXNlZCBv biBDYWxjdWx1cyBvZiBEZXBlbmRlbnQgTGFtYmRhIEVsaW1pbmF0aW9ucyIpCisgICAgKGRlc2Ny aXB0aW9uCisgICAgICJDZWRpbGxlIGlzIGFuIGludGVyYWN0aXZlIHRoZW9yZW0tcHJvdmVyIGFu ZCBkZXBlbmRlbnRseQordHlwZWQgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2UsIGJhc2VkIG9uIGV4dHJp bnNpYyAoYWthIEN1cnJ5LXN0eWxlKQordHlwZSB0aGVvcnkuICBUaGlzIG1ha2VzIGl0IHJhdGhl ciBkaWZmZXJlbnQgZnJvbSB0eXBlIHRoZW9yaWVzCitsaWtlIENvcSBhbmQgQWdkYSwgd2hpY2gg YXJlIGludHJpbnNpYyAoYWthIENodXJjaC1zdHlsZSkuICBJbgorQ2VkaWxsZSwgdGVybXMgYXJl IG5vdGhpbmcgbW9yZSB0aGFuIGFubm90YXRlZCB2ZXJzaW9ucyBvZiB0ZXJtcworb2YgcHVyZSB1 bnR5cGVkIGxhbWJkYSBjYWxjdWx1cy4gIEluIGNvbnRyYXN0LCBpbiBDb3Egb3IgQWdkYSwKK3Ro ZSB0eXBpbmcgYW5ub3RhdGlvbnMgYXJlIGludHJpbnNpYyBwYXJ0cyBvZiB0ZXJtcy4gIFRoZSB0 eXBpbmcKK2Fubm90YXRpb25zIGNhbiBvbmx5IGJlIGVyYXNlZCBhcyBhbiBvcHRpbWl6YXRpb24g dW5kZXIgY2VydGFpbgorY29uZGl0aW9ucywgbm90IGJ5IHZpcnR1ZSBvZiB0aGUgZGVmaW5pdGlv biBvZiB0aGUgdHlwZSB0aGVvcnkuIikKKyAgICAobGljZW5zZSBsaWNlbnNlOmV4cGF0KSkpCi0t IAoyLjIyLjAKCg== --000000000000a79a890591266c9c--