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 283 days ago

vtjnash requested a review from

JeffBezanson 283 days ago

vtjnash force pushed from 97cb5a62 to ad44533a 283 days ago

reduce places where builtins are listed

e0cfd8cf

vtjnash force pushed from ad44533a to e0cfd8cf 283 days ago

JeffBezanson approved these changes on 2025-04-23

vtjnash merged 907b201c into master 283 days ago

vtjnash deleted the jn/dedup-builtin-decls branch 283 days ago

KristofferC removed backport 1.12

Reviewers

JeffBezanson

Assignees

No one assigned

Labels

None yet

Milestone

No milestone