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?

John

On Mon, Dec 8, 2025, at 6:38 PM, Joseph Myers wrote:
> I believe I already approved this in July, unless there have been changes 
> or build machinery maintainer objections since then.
> 
> -- 
> Joseph S. Myers
> [email protected]
> 
> 

Reply via email to