Skip to content

bump to proper release of html5rdf#2961

Merged
ashleysommer merged 1 commit intomainfrom
bump_html5rdf
Oct 30, 2024
Merged

bump to proper release of html5rdf#2961
ashleysommer merged 1 commit intomainfrom
bump_html5rdf

Conversation

@ashleysommer
Copy link
Contributor

bump to properly tagged and packaged release of html5rdf v1.2.1

@coveralls
Copy link

Coverage Status

coverage: 90.284%. remained the same
when pulling 0b4cbad on bump_html5rdf
into b0d7a7d on main.

@ashleysommer ashleysommer merged commit 2c83786 into main Oct 30, 2024
@ashleysommer ashleysommer deleted the bump_html5rdf branch October 30, 2024 08:39
edmondchuc pushed a commit that referenced this pull request Jan 15, 2025
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