Skip to content

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