On Mon, Nov 9, 2026 at 4:36 PM David Rowley <dgrowleyml(at)gmail(dot)com> 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