Skip to content

Conversation

@christiangnrd
Copy link
Contributor

I also added the PR number, which is not in the release-1.12 NEWS. Do those changes typically get backported?

@giordano
Copy link
Member

giordano commented Mar 8, 2025

Do those changes typically get backported?

Not automatically since by definition these changes are in different files for different versions, but if fixing something wrong why not?

@christiangnrd
Copy link
Contributor Author

Not automatically since by definition these changes are in different files for different versions, but if fixing something wrong why not?

#57682

@giordano giordano added the merge me PR is reviewed. Merge when all tests are passing label Mar 8, 2025
@vchuravy vchuravy merged commit bbcdc0f into JuliaLang:master Mar 8, 2025
6 of 8 checks passed
vchuravy pushed a commit that referenced this pull request Mar 8, 2025
@giordano giordano removed the merge me PR is reviewed. Merge when all tests are passing label Mar 8, 2025
@christiangnrd christiangnrd deleted the notes branch March 8, 2025 16:53
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.

3 participants