Skip to content

Conversation

@topolarity
Copy link
Member

As recommended in #57589 (comment)

@topolarity topolarity added trimming Issues with trimming functionality or PR's relevant to its performance/functionality backport 1.12 Change should be backported to release-1.12 labels Mar 7, 2025
@topolarity topolarity force-pushed the ct/juliac-override-by-uuid branch from 0359bda to 02b41c4 Compare March 7, 2025 22:43
@topolarity topolarity added the merge me PR is reviewed. Merge when all tests are passing label Mar 7, 2025
@oscardssmith oscardssmith merged commit eba2a33 into JuliaLang:master Mar 8, 2025
8 checks passed
@giordano giordano removed the merge me PR is reviewed. Merge when all tests are passing label Mar 8, 2025
KristofferC pushed a commit that referenced this pull request Mar 21, 2025
@KristofferC KristofferC removed the backport 1.12 Change should be backported to release-1.12 label Mar 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

trimming Issues with trimming functionality or PR's relevant to its performance/functionality

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants