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.

Sign up for GitHub

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

Jump to bottom

Request for new crates.io release (v0.6.0) #24

Closed
jayz22 opened this issue Jan 17, 2025 · 2 comments
Closed

Request for new crates.io release (v0.6.0) #24

jayz22 opened this issue Jan 17, 2025 · 2 comments

Comments

@jayz22
Copy link

jayz22 commented Jan 17, 2025

Thanks for the nice work and maintaining of this project!

I'm currently planning to use batsat for my new project. I notice it’s been four years since v0.5.0 was released, and there have been some nice interface improvements and bug fixes since then. Would you consider publishing a new version (v0.6.0) on crates.io so they become accessible?
@c-cube
Copy link
Owner

c-cube commented Jan 20, 2025

Alright, done :)

@jayz22
Copy link
Author

jayz22 commented Jan 31, 2025

Thank you very much!

@jayz22 jayz22 closed this as completed Jan 31, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@c-cube @jayz22