Skip to content

Remove duplicated words from EditContext API - #157

Open
JinDX wants to merge 1 commit into
w3c:gh-pagesfrom
JinDX:patch-1
Open

JinDX wants to merge 1 commit into
w3c:gh-pagesfrom
JinDX:patch-1

Conversation

@JinDX

@JinDX JinDX commented Oct 26, 2026

Copy link
Copy Markdown

Remove 1 duplicated-word occurrence from EditContext API.

  • index.html:1272

This is an editorial correction. The algorithms and API behavior are unchanged. Existing Bikeshed/HTML references remain intact.

For normative changes, the following tasks have been completed:

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant