[w3c/editing] Rename 512.html to 513.html and add repro for #516 (PR #517)

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

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

-- Commit Summary --

  * Rename 512.html to 513.html to match the issue number.
  * Repro for empty span issue on Safari.

-- File Changes --

    D repros/512.html (89)
    A repros/513.html (89)
    A repros/516.html (71)

-- Patch Links --

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

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

Message ID: <w3c/editing/pull/517@github.com>