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 28034 invoked from network); 16 Jun 2023 01:59:25 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 16 Jun 2023 01:59:25 -0000 Content-Type: multipart/mixed; boundary="===============8910856420418079000==" MIME-Version: 1.0 Subject: =?utf8?q?Re=3A_=5BPR_PATCH=5D_=5BClosed=5D=3A_New_package=3A_libsemigroups-2=2E6=2E2?= To: ml@inbox.vuxu.org From: github-actions[bot] Reply-to: ml@inbox.vuxu.org In-Reply-To: References: Date: Fri, 16 Jun 2023 03:59:25 +0200 List-Id: Message-ID: <20230616015925.2-9lnPEx3LajzPiS4i4vcJ1EWcFsCwDys7Kwir6_il4@z> GitHub notification mails are now in MIME to allow UTF8. --===============8910856420418079000== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUncyBhIGNsb3NlZCBwdWxsIHJlcXVlc3Qgb24gdGhlIHZvaWQtcGFja2FnZXMgcmVwb3Np dG9yeQoKTmV3IHBhY2thZ2U6IGxpYnNlbWlncm91cHMtMi42LjIKaHR0cHM6Ly9naXRodWIuY29t L3ZvaWQtbGludXgvdm9pZC1wYWNrYWdlcy9wdWxsLzQyNTYxCgpEZXNjcmlwdGlvbjoKIyMjIyBU ZXN0aW5nIHRoZSBjaGFuZ2VzDQotIEkgdGVzdGVkIHRoZSBjaGFuZ2VzIGluIHRoaXMgUFI6ICoq YnJpZWZseSoqDQoNCiMjIyMgTmV3IHBhY2thZ2UNCi0gVGhpcyBuZXcgcGFja2FnZSBjb25mb3Jt cyB0byB0aGUgW3BhY2thZ2UgcmVxdWlyZW1lbnRzXShodHRwczovL2dpdGh1Yi5jb20vdm9pZC1s aW51eC92b2lkLXBhY2thZ2VzL2Jsb2IvbWFzdGVyL0NPTlRSSUJVVElORy5tZCNwYWNrYWdlLXJl cXVpcmVtZW50cyk6ICoqWUVTKioNCg0KIyMjIyBMb2NhbCBidWlsZCB0ZXN0aW5nDQotIEkgYnVp bHQgdGhpcyBQUiBsb2NhbGx5IGZvciBteSBuYXRpdmUgYXJjaGl0ZWN0dXJlLCAoeDg2XzY0LW11 c2wpDQoK --===============8910856420418079000==--