Skip to content

Conversation

JeffBezanson
Copy link
Member

This will cause these values to be populated at slightly different times than now, but I don't think it will matter.

@giordano
Copy link
Member

Should this be backported to 1.12?

@topolarity topolarity added the backport 1.12 Change should be backported to release-1.12 label Feb 11, 2025
@topolarity
Copy link
Member

Should this be backported to 1.12?

Indeed!

@topolarity topolarity merged commit 55d5a4b into master Feb 11, 2025
8 checks passed
@topolarity topolarity deleted the jb/linkinginit branch February 11, 2025 13:08
KristofferC pushed a commit that referenced this pull request Feb 13, 2025
This will cause these values to be populated at slightly different times
than now, but I don't think it will matter.

(cherry picked from commit 55d5a4b)
@KristofferC KristofferC removed the backport 1.12 Change should be backported to release-1.12 label Feb 14, 2025
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.

4 participants