Replies: 2 comments 7 replies
-
Not a huge deal, but 3b7bde6 lists the deprecation as |
Beta Was this translation helpful? Give feedback.
5 replies
-
@yannham @youknowone @dburgener as mentioned in #841 (comment) it might be worth moving this forward. The pr mentioned of #814 has been merged. |
Beta Was this translation helpful? Give feedback.
2 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I feel we have merged quite a bit of useful fixes or improvements since the last version. Nothing groundbreaking, but still quality of life improvements. I'm personally in favor of releasing as much as possible - big leaps between releases just have a higher chance of breaking things. Should we plan for an 0.20.1 release soon? @nikomatsakis @youknowone
Beta Was this translation helpful? Give feedback.
All reactions