On Mon, Nov 9, 2026 at 4:36 PM David Rowley <[email protected]> wrote: > Looks mostly ok. I'd use "add" instead of "merge" in "To fix, merge > the removed", and I expect "Backpatch-through: 14" should be 15.
Thanks! Fixed both and then pushed and back-patched to v15. - Richard
