Skip to content

Conversation

JeffBezanson
Copy link
Member

No description provided.

@oscardssmith oscardssmith added the trimming Issues with trimming functionality or PR's relevant to its performance/functionality label Mar 28, 2025
@topolarity topolarity added the backport 1.12 Change should be backported to release-1.12 label Mar 29, 2025
@KristofferC KristofferC mentioned this pull request Mar 31, 2025
36 tasks
@KristofferC KristofferC merged commit fe613d4 into master Mar 31, 2025
6 of 9 checks passed
@KristofferC KristofferC deleted the jb/trimsizeagain branch March 31, 2025 08:01
KristofferC pushed a commit that referenced this pull request Mar 31, 2025
KristofferC pushed a commit that referenced this pull request Mar 31, 2025
KristofferC pushed a commit that referenced this pull request Mar 31, 2025
@KristofferC KristofferC mentioned this pull request Apr 4, 2025
51 tasks
@KristofferC KristofferC removed the backport 1.12 Change should be backported to release-1.12 label Apr 9, 2025
@topolarity topolarity added backport 1.12 Change should be backported to release-1.12 and removed backport 1.12 Change should be backported to release-1.12 labels Jun 27, 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.

4 participants