On Tue, 15 Mar 2022, Jonathan Wakely wrote: >> It appears redhat.com has lost Fedora mailing list archives, which are >> now at lists.fedoraproject.org using completely different tooling. >> >>Jakub, is there a better way than the patch below? > This looks right to me, I don't think there's a better way to link to > those archives.
Thank you, Jonathan. I now pushed my patch. Gerald
