Skip to content

Bump to 9.1.0#187

Merged
w0rm merged 1 commit into
mainfrom
update-deps
Jan 12, 2024
Merged

Bump to 9.1.0#187
w0rm merged 1 commit into
mainfrom
update-deps

Conversation

@w0rm
Copy link
Copy Markdown
Member

@w0rm w0rm commented Jan 12, 2024

No description provided.

@coveralls
Copy link
Copy Markdown

Coverage Status

coverage: 100.0%. remained the same
when pulling 687f29f on update-deps
into c21fca9 on main.

@w0rm w0rm merged commit 77ed79a into main Jan 12, 2024
@w0rm w0rm deleted the update-deps branch January 12, 2024 19:04
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