Skip to content

HTML paths - #20

Merged
lueck merged 6 commits into
mainfrom
html
Aug 4, 2026
Merged

HTML paths#20
lueck merged 6 commits into
mainfrom
html

Conversation

@lueck

@lueck lueck commented Aug 4, 2026

Copy link
Copy Markdown
Member

The commits in this branch close #9.

@lueck lueck self-assigned this Aug 4, 2026
@lueck lueck linked an issue Aug 4, 2026 that may be closed by this pull request
@lueck
lueck merged commit c0775cd into main Aug 4, 2026
2 checks passed
@lueck
lueck deleted the html branch August 4, 2026 17:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

html is parsed namespace-aware

1 participant