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

0.5.1 patch release #2018

Closed

emilk opened this issue May 2, 2023 · 3 comments · Fixed by #2021

Labels

Member

emilk commented May 2, 2023 •

edited

Loading

Cherry-pick

emilk added the ⛴ release label

Member

Wumpf commented May 2, 2023 •

edited

Loading

Proposing to also add:

less sure about the later, too big might not be worth it

Member Author

emilk commented May 2, 2023

I agree - let's add #1969 but not #1947

Member

jleibs commented May 2, 2023

Also needed to add #1951

jleibs mentioned this issue

Hotfix 0.5.1 #2021

Merged

14 tasks

Wumpf closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment