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


Reply via email to