Skip to content

chore: fix release#1193

Merged
bdraco merged 1 commit into
masterfrom
fix_release
Jul 2, 2023
Merged

chore: fix release#1193
bdraco merged 1 commit into
masterfrom
fix_release

Conversation

@bdraco

@bdraco bdraco commented Jul 2, 2023

Copy link
Copy Markdown
Member

last commit had a message too long

@bdraco bdraco merged commit f0577f0 into master Jul 2, 2023
@bdraco bdraco deleted the fix_release branch July 2, 2023 14:44
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.

1 participant