Skip to content
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

PRs to be merged for v1.9.1 point release #6244

Closed
33 tasks done
hkaiser opened this issue May 13, 2023 · 1 comment
Closed
33 tasks done

PRs to be merged for v1.9.1 point release #6244

hkaiser opened this issue May 13, 2023 · 1 comment
Labels
type: compatibility issue type: enhancement
Milestone
1.9.1

Comments

@hkaiser
Copy link
Member

hkaiser commented May 13, 2023 •
edited
Loading

@hkaiser hkaiser added this to the 1.9.1 milestone May 13, 2023
@hkaiser hkaiser mentioned this issue Jun 1, 2023
Merged
@hkaiser
Copy link
Member Author

hkaiser commented Jul 10, 2023

This can be closed now as #6254 was merged.

@hkaiser hkaiser closed this as completed Jul 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
type: compatibility issue type: enhancement
Projects
None yet
Milestone
1.9.1
Development

No branches or pull requests
1 participant
@hkaiser