Tian Yuchen [off-list ref] writes:

quoted

I missed a base-commit to easily apply this locally, could we
add one?

Thanks!
Pablo

Thanks for pointing out.

The base commit is 8d96f09e9245ddf80c1981476fcbac8c4bb4125f.
I will put it on the cover letter in the next reroll (if any)!

Regards, yuchen

FWIW, I think I queued it on top of ab776a62a7 (Git 2.55-rc2,
2026-06-22).

Others can find it out by looking at the output from

    $ git log --oneline origin/master....origin/seen

and finding the commit that merges the topic.