Skip to content

Rename exception type header#133045

Merged
rjernst merged 1 commit intoelastic:mainfrom
rjernst:exception/generic_type_header
Aug 18, 2025
Merged

Rename exception type header#133045
rjernst merged 1 commit intoelastic:mainfrom
rjernst:exception/generic_type_header

Commits

Commits on Aug 17, 2025