On Tue, 9 Dec 2025, John Ericson wrote: > That's right. I lack the privileges to land them myself. I was told > resubmitting them was the right thing to do for patches that never got > merged. Can you apply them?
I have applied these patches. -- Joseph S. Myers [email protected]
