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 bette
On 12/03/22 22:55 +0100, Gerald Pfeifer wrote:
I have *NOT* pushed this yet, looking for feedback:
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
I have *NOT* pushed this yet, looking for feedback:
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?
Gerald
diff --git a/htdocs/gcc-4.3/porting_to.html b/h
