Plans for the next release?
Closed this issue · 2 comments
First of all, thanks for taking the time to look over the recent pull requests that I submitted đź‘Ť.
I know that this isn’t a popular type of question, but can you share when you plan to publish the next release of clingo-rs? I’m close to finishing a new version of anthem that depends on the recent fixes I submitted to clingo-rs (and I can use the version in the master branch just fine for development), but I won’t be able to publish my crate to crates.io until a new clingo-rs release containing these fixes is tagged.
I’m just asking so that I can decide whether it’s worth waiting for a release or whether I should just bundle with my crate a patch for clingo-rs 0.6.0 that applies the fixes in question 🙂.
The plan is to make the next release as soon as the next clingo is released.
0.7.0 has been released