Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: release v0.7.2 #104

Closed
wants to merge 1 commit into from
Closed

Conversation

hugrbot
Copy link
Collaborator

@hugrbot hugrbot commented Dec 9, 2024

🤖 New release

  • tket-json-rs: 0.7.1 -> 0.7.2 (✓ API compatible changes)
Changelog

0.7.1 (2024-11-29)

Features

  • Update to pyo3 23 (allow free-threaded python) (#102)


This PR was generated with release-plz.

@hugrbot hugrbot force-pushed the release-plz-2024-12-09T14-27-20Z branch from 3be58dd to 5ddf4bc Compare December 17, 2024 17:09
@hugrbot hugrbot closed this Dec 17, 2024
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