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 1 year ago

move trim patches to separate files, only load if trimming

67be3b19

JeffBezanson force pushed from c3ba647c to 67be3b19 1 year ago

topolarity approved these changes on 2025-06-27

vtjnash merged d7c70bcb into master 1 year ago

vtjnash deleted the jb/mvtrimpatches branch 1 year ago

topolarity added backport 1.12

KristofferC removed backport 1.12

Reviewers

topolarity

Assignees

No one assigned

Labels

trimming

Milestone

No milestone