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=-0.2 required=5.0 tests=ALL_TRUSTED, DKIM_ADSP_NXDOMAIN,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 4979 invoked from network); 11 Mar 2022 15:49:23 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 11 Mar 2022 15:49:23 -0000 Content-Type: multipart/mixed; boundary="===============7306448851472741881==" MIME-Version: 1.0 Subject: =?utf8?q?=5BPR_PATCH=5D_texlab=3A_update_to_3=2E3=2E2=2C_restore_cross=2E?= To: ml@inbox.vuxu.org From: cinerea0 Reply-to: ml@inbox.vuxu.org Message-ID: Date: Fri, 11 Mar 2022 16:49:22 +0100 List-Id: GitHub notification mails are now in MIME to allow UTF8. --===============7306448851472741881== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYSBuZXcgcHVsbCByZXF1ZXN0IGJ5IGNpbmVyZWEwIGFnYWluc3QgbWFzdGVyIG9u IHRoZSB2b2lkLXBhY2thZ2VzIHJlcG9zaXRvcnkKCmh0dHBzOi8vZ2l0aHViLmNvbS9jaW5lcmVh MC92b2lkLXBhY2thZ2VzIHRleApodHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBh Y2thZ2VzL3B1bGwvMzYwOTkKCnRleGxhYjogdXBkYXRlIHRvIDMuMy4yLCByZXN0b3JlIGNyb3Nz Lgo8IS0tIFVuY29tbWVudCByZWxldmFudCBzZWN0aW9ucyBhbmQgZGVsZXRlIG9wdGlvbnMgd2hp Y2ggYXJlIG5vdCBhcHBsaWNhYmxlIC0tPg0KDQojIyMjIFRlc3RpbmcgdGhlIGNoYW5nZXMNCi0g SSB0ZXN0ZWQgdGhlIGNoYW5nZXMgaW4gdGhpcyBQUjogKipZRVMqKg0KDQo8IS0tDQojIyMjIE5l dyBwYWNrYWdlDQotIFRoaXMgbmV3IHBhY2thZ2UgY29uZm9ybXMgdG8gdGhlIFtxdWFsaXR5IHJl cXVpcmVtZW50c10oaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9i bG9iL21hc3Rlci9NYW51YWwubWQjcXVhbGl0eS1yZXF1aXJlbWVudHMpOiAqKllFUyoqfCoqTk8q Kg0KLS0+DQoNCjwhLS0gTm90ZTogSWYgdGhlIGJ1aWxkIGlzIGxpa2VseSB0byB0YWtlIG1vcmUg dGhhbiAyIGhvdXJzLCBwbGVhc2UgW3NraXAgQ0ldKGh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxp bnV4L3ZvaWQtcGFja2FnZXMvYmxvYi9tYXN0ZXIvQ09OVFJJQlVUSU5HLm1kI2NvbnRpbnVvdXMt aW50ZWdyYXRpb24pDQphbmQgdGVzdCBhdCBsZWFzdCBvbmUgbmF0aXZlIGJ1aWxkIGFuZCwgaWYg c3VwcG9ydGVkLCBhdCBsZWFzdCBvbmUgY3Jvc3MgYnVpbGQuDQpJZ25vcmUgdGhpcyBzZWN0aW9u IGlmIHRoaXMgUFIgaXMgbm90IHNraXBwaW5nIENJLg0KLS0+DQo8IS0tIA0KIyMjIyBMb2NhbCBi dWlsZCB0ZXN0aW5nDQotIEkgYnVpbHQgdGhpcyBQUiBsb2NhbGx5IGZvciBteSBuYXRpdmUgYXJj aGl0ZWN0dXJlLCAoQVJDSC1MSUJDKQ0KLSBJIGJ1aWx0IHRoaXMgUFIgbG9jYWxseSBmb3IgdGhl c2UgYXJjaGl0ZWN0dXJlcyAoaWYgc3VwcG9ydGVkLiBtYXJrIGNyb3NzYnVpbGRzKToNCiAgLSBh YXJjaDY0LW11c2wNCiAgLSBhcm12N2wNCiAgLSBhcm12NmwtbXVzbA0KLS0+DQoKCkEgcGF0Y2gg ZmlsZSBmcm9tIGh0dHBzOi8vZ2l0aHViLmNvbS92b2lkLWxpbnV4L3ZvaWQtcGFja2FnZXMvcHVs bC8zNjA5OS5wYXRjaCBpcyBhdHRhY2hlZA== --===============7306448851472741881== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-tex-36099.patch" RnJvbSBjOTVkMDA0ZmE3ZWJlYmI2YWUxMjM4NDZjM2UzOGEwNGY0NmY5YWVhIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBjaW5lcmVhMCA8Y2luZXJlYTBAZGlzcm9vdC5vcmc+CkRhdGU6 IEZyaSwgMTEgTWFyIDIwMjIgMTA6NDQ6NTAgLTA1MDAKU3ViamVjdDogW1BBVENIXSB0ZXhsYWI6 IHVwZGF0ZSB0byAzLjMuMiwgcmVzdG9yZSBjcm9zcy4KCi0tLQogc3JjcGtncy90ZXhsYWIvdGVt cGxhdGUgfCA1ICsrLS0tCiAxIGZpbGUgY2hhbmdlZCwgMiBpbnNlcnRpb25zKCspLCAzIGRlbGV0 aW9ucygtKQoKZGlmZiAtLWdpdCBhL3NyY3BrZ3MvdGV4bGFiL3RlbXBsYXRlIGIvc3JjcGtncy90 ZXhsYWIvdGVtcGxhdGUKaW5kZXggNmU2MGE3NGViZjlmLi44ODkxY2I2OGJmMWMgMTAwNjQ0Ci0t LSBhL3NyY3BrZ3MvdGV4bGFiL3RlbXBsYXRlCisrKyBiL3NyY3BrZ3MvdGV4bGFiL3RlbXBsYXRl CkBAIC0xLDYgKzEsNiBAQAogIyBUZW1wbGF0ZSBmaWxlIGZvciAndGV4bGFiJwogcGtnbmFtZT10 ZXhsYWIKLXZlcnNpb249My4zLjEKK3ZlcnNpb249My4zLjIKIHJldmlzaW9uPTEKIGJ1aWxkX3N0 eWxlPWNhcmdvCiBzaG9ydF9kZXNjPSJJbXBsZW1lbnRhdGlvbiBvZiB0aGUgTGFuZ3VhZ2UgU2Vy dmVyIFByb3RvY29sIGZvciBMYVRlWCIKQEAgLTksOCArOSw3IEBAIGxpY2Vuc2U9IkdQTC0zLjAt b3ItbGF0ZXIiCiBob21lcGFnZT0iaHR0cHM6Ly90ZXhsYWIubmV0bGlmeS5hcHAvIgogY2hhbmdl bG9nPSJodHRwczovL3Jhdy5naXRodWJ1c2VyY29udGVudC5jb20vbGF0ZXgtbHNwL3RleGxhYi9t YXN0ZXIvQ0hBTkdFTE9HLm1kIgogZGlzdGZpbGVzPSJodHRwczovL2dpdGh1Yi5jb20vbGF0ZXgt bHNwLyR7cGtnbmFtZX0vYXJjaGl2ZS92JHt2ZXJzaW9ufS50YXIuZ3oiCi1jaGVja3N1bT0iYTM5 NzY2ZjQ5N2RmYjJjZjllMzcwZGRjNDMwYjdkMjc1Y2IwNTViNGQ4YTA3NTFkNzE4YTg2MDcyNzQ3 YTc1YyIKLW5vY3Jvc3M9eWVzICMgaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1w YWNrYWdlcy9pc3N1ZXMvMzQ4ODkKK2NoZWNrc3VtPTM4MDM5NWEzN2VlMmVjZTU5MGMwZGIwNGFj NDg5OGY1ZjQzMGVlMzdkMGFiMGZhMDgwMTgwNTE2N2ZmZjA2NmEKIAogaWYgWyAiJFhCUFNfVEFS R0VUX0VORElBTiIgPSAiYmUiIC1hICIkWEJQU19UQVJHRVRfV09SRFNJWkUiID0gIjMyIiBdOyB0 aGVuCiAJYnJva2VuPSJzbWFydHN0cmluZyBmYWlscyB0byBjb21waWxlIgo= --===============7306448851472741881==--