Closed radek-kondziolka closed 1 year ago
I am good with cutting a release .. but if we do ..let me know so we can make sure we announce. Also .. are there other PRs we want to get merged before a release?
Also .. are there other PRs we want to get merged before a release?
I do not know. Looks like there is not such PR if it is not merged.
When can we expect this landed and release published?
Update version to 0.14.0