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
Uh oh!
There was an error while loading. Please reload this page.
-
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