Skip to content

0.7.2 version bump#732

Merged
patrick-kidger merged 1 commit intomainfrom
0.7.2
Feb 17, 2026
Merged

0.7.2 version bump#732
patrick-kidger merged 1 commit intomainfrom
0.7.2

Conversation

@patrick-kidger
Copy link
Owner

No description provided.

@patrick-kidger patrick-kidger merged commit b3a1885 into main Feb 17, 2026
2 checks passed
@patrick-kidger patrick-kidger deleted the 0.7.2 branch February 17, 2026 22:08
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