Skip to content

chore: make auto param decls of private decls private

2a7c82c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

chore: make auto param decls of private decls private #11581

chore: make auto param decls of private decls private
2a7c82c
Select commit
Loading
Failed to load commit list.
check-lean-files
succeeded Dec 10, 2025 in 48s