> Looks fine. Please hold merge until after final.

Sigh, nevermind, I see it's too late to keep the branch clean.

Go ahead and merge. I'll make a v9_12_0_patch branch for the final release.