Skip to content

Remove link to DOM PR now that it's merged#608

Merged
lukewarlow merged 1 commit intow3c:mainfrom
lukewarlow:drop-dom-pr-link
Feb 24, 2026
Merged

Remove link to DOM PR now that it's merged#608
lukewarlow merged 1 commit intow3c:mainfrom
lukewarlow:drop-dom-pr-link

Conversation

@lukewarlow
Copy link
Copy Markdown
Member

No description provided.

@lukewarlow lukewarlow merged commit b76b144 into w3c:main Feb 24, 2026
3 checks passed
github-actions bot added a commit that referenced this pull request Feb 24, 2026
SHA: b76b144
Reason: push, by lukewarlow

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit to Graysonbarton/trusted-types that referenced this pull request Feb 24, 2026
SHA: b76b144
Reason: push, by pull[bot]

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
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