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

Add findextrema news for #45783 #47452

Conversation

andrewjradcliffe
Copy link
Contributor

At the request of @KristofferC , the relevant news update. A separate PR is perhaps not ideal, but, given that NEWS.md moves at a different pace than #45783, it seemed to make sense.

At the request of @KristofferC , the relevant news update.
A separate PR is perhaps not ideal, but, given that NEWS.md moves
at a different pace than JuliaLang#45783, it seemed to make sense.
@KristofferC
Copy link
Member

A separate PR is perhaps not ideal, but, given that NEWS.md moves at a different pace than #45783, it seemed to make sense.

Hm, NEWS updates tend to be in the same PR as the one introducing the feature. Why would splitting them up be beneficial?

@andrewjradcliffe
Copy link
Contributor Author

Understood. I'll move this to the feature PR.

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