PR #58205 reduce places where Builtins are listed

reduce places where Builtins are listed #58205

vtjnash merged 1 commit into master from jn/dedup-builtin-decls

vtjnash added backport 1.12

vtjnash force pushed from 2de3c02f to 97cb5a62 1 year ago

vtjnash requested a review from

JeffBezanson 1 year ago

vtjnash force pushed from 97cb5a62 to ad44533a 1 year ago

reduce places where builtins are listed

e0cfd8cf

vtjnash force pushed from ad44533a to e0cfd8cf 1 year ago

JeffBezanson approved these changes on 2025-04-23

vtjnash merged 907b201c into master 1 year ago

vtjnash deleted the jn/dedup-builtin-decls branch 1 year ago

KristofferC removed backport 1.12

Reviewers

JeffBezanson

Assignees

No one assigned

Labels

None yet

Milestone

No milestone