Skip to content

add w3c ids#304

Merged
hidde merged 2 commits intomainfrom
add-w3c-ids
Mar 18, 2026
Merged

add w3c ids#304
hidde merged 2 commits intomainfrom
add-w3c-ids

Conversation

@hidde
Copy link
Member

@hidde hidde commented Mar 14, 2026

No description provided.

Signed-off-by: Hidde de Vries <hidde@hiddedevries.nl>
@hidde hidde merged commit 103e070 into main Mar 18, 2026
3 of 4 checks passed
@hidde hidde deleted the add-w3c-ids branch March 18, 2026 13:23
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.

2 participants