[w3c/editing] Add repro for #512 and fixes of #497 (PR #514) from Michael Aufreiter on 2025-11-17 (public-webapps-github@w3.org from November 2025)

From: Michael Aufreiter <notifications@github.com>
Date: Mon, 17 Nov 2025 12:46:15 -0800
To: w3c/editing <editing@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <w3c/editing/pull/514@github.com>

You can view, comment on, or merge this pull request online at:

  https://github.com/w3c/editing/pull/514

-- Commit Summary --

  * Add repro for #512. Improve repro for #497.

-- File Changes --

    M .gitignore (1)
    M repros/497.html (12)
    A repros/512.html (89)

-- Patch Links --

https://github.com/w3c/editing/pull/514.patch
https://github.com/w3c/editing/pull/514.diff

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/editing/pull/514
You are receiving this because you are subscribed to this thread.

Message ID: &lt;w3c/editing/pull/514@github.com&gt;

Received on Monday, 17 November 2025 20:46:19 UTC