Skip to content

Conversation

@davidwagner
Copy link
Member

Attempt to fix #638

@coveralls
Copy link

Coverage Status

coverage: 94.976%. remained the same
when pulling 411803d on fix-docs
into 382089b on master.

@davidwagner davidwagner merged commit 6fd97ea into master May 27, 2025
2 checks passed
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.

Doc builds failing?

3 participants