julia
move trim patches to separate files, only load if trimming
#58826

Merged

move trim patches to separate files, only load if trimming #58826

vtjnash merged 1 commit into master from jb/mvtrimpatches

JeffBezanson added trimming

topolarity commented on 2025-06-26

JeffBezanson force pushed from 0aac4946 to c3ba647c 335 days ago

move trim patches to separate files, only load if trimming

67be3b19

JeffBezanson force pushed from c3ba647c to 67be3b19 334 days ago

topolarity approved these changes on 2025-06-27

vtjnash merged d7c70bcb into master 331 days ago

vtjnash deleted the jb/mvtrimpatches branch 331 days ago

topolarity added backport 1.12

KristofferC removed backport 1.12

Reviewers

topolarity

Assignees

No one assigned

Labels

trimming

Milestone

No milestone