Hi, I recently had this PR approved. Can someone help me get this merged or provide a timeline for merge and eventually release?

Looks like Hiroshi approved it so @eduardo will pick it up for an upcoming release if he's happy as well (likely is if Hiroshi already approved)

Ok so merge will happen closer to release then. Thanks Pat!

Eduardo is in charge of the merge to main and what goes in each release - he's got a lot on his plate of course and it is holiday season coming up too so be patient 🙂