On Mon, 20 Jul 2026 at 09:48, Harsh Prateek Bora <[email protected]> wrote: > > Hi Peter, > > I am travelling till July end. > If it's urgent, Could you please take it via your next PR or I can take it > via next PPC PR in August.
It's not super urgent, but I'm happy to pick it up via my tree as it's a pretty small safe change. thanks -- PMM
