Re: [w3c/editing] Repro for #538 (PR #539) from Michael Aufreiter on 2026-06-11 (public-webapps-github@w3.org from June 2026)

From: Michael Aufreiter <notifications@github.com>
Date: Thu, 11 Jun 2026 06:07:37 -0700
To: w3c/editing <editing@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/editing/pull/539/before/b6a4316558c705564b30403967b292e3c873227d/after/ee06>

@michael pushed 1 commit.

ee06d14aa9d91f98cc785c6c631fb15bb5390396  Repro for #538

-- 
View it on GitHub:
https://github.com/w3c/editing/pull/539/changes/b6a4316558c705564b30403967b292e3c873227d..ee06d14aa9d91f98cc785c6c631fb15bb5390396
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/editing/pull/539/before/b6a4316558c705564b30403967b292e3c873227d/after/ee06>

Received on Thursday, 11 June 2026 13:07:42 UTC