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.

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

edit NEWS for 1.10 #50848

Merged
merged 1 commit into from
Aug 14, 2023
Merged

edit NEWS for 1.10 #50848

merged 1 commit into from
Aug 14, 2023

Conversation

JeffBezanson
Copy link
Member

NEWS and HISTORY have diverged, so I'm editing NEWS on the release branch and once that's locked down will move back to HISTORY on master. Opening the PR now so people know I'm doing this.

@JeffBezanson JeffBezanson added the DO NOT MERGE Do not merge this PR! label Aug 8, 2023
@JeffBezanson
Copy link
Member Author

needs #50849

@JeffBezanson JeffBezanson removed the DO NOT MERGE Do not merge this PR! label Aug 9, 2023
@JeffBezanson JeffBezanson changed the title WIP: edit NEWS for 1.10 edit NEWS for 1.10 Aug 9, 2023
@JeffBezanson
Copy link
Member Author

fixes #49266

@KristofferC KristofferC merged commit c11763f into release-1.10 Aug 14, 2023
@KristofferC KristofferC deleted the jb/news110 branch August 14, 2023 11:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants