Skip to content

Add ignore pattern for W3C XML Names specification#5341

Merged
miqui merged 1 commit into
mainfrom
ralfhandl-patch-1
May 19, 2026
Merged

Add ignore pattern for W3C XML Names specification#5341
miqui merged 1 commit into
mainfrom
ralfhandl-patch-1

Conversation

@ralfhandl
Copy link
Copy Markdown
Contributor

Fixes #5336

We trust that this URL will not change in the near future.

———-

  • no schema changes are needed for this pull request

@ralfhandl ralfhandl requested review from a team as code owners May 19, 2026 07:50
@miqui miqui merged commit abb924c into main May 19, 2026
3 checks passed
@miqui miqui deleted the ralfhandl-patch-1 branch May 19, 2026 14:28
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.

All PR checks are failing with 403 on https://www.w3.org/TR/xml-names11/

2 participants