Skip to content

Conversation

@nsajko
Copy link
Member

@nsajko nsajko commented Sep 12, 2025

Needs manual backport to v1.12 NEWS.

xref:

* issue JuliaLang#54620

* PR JuliaLang#58131
@nsajko nsajko added the docs This change adds or pertains to documentation label Sep 12, 2025
@nsajko nsajko marked this pull request as ready for review September 12, 2025 08:11
@ViralBShah
Copy link
Member

Merge?

@fingolfin fingolfin added the backport 1.12 Change should be backported to release-1.12 label Oct 22, 2025
@fingolfin fingolfin merged commit de18300 into JuliaLang:master Oct 22, 2025
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport 1.12 Change should be backported to release-1.12 docs This change adds or pertains to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants