Skip to content

Propagate final to the redeclared element parameters - #606

Open
AntoineGautier wants to merge 5 commits into
mainfrom
ag/605-final-elements
Open

Propagate final to the redeclared element parameters #606
AntoineGautier wants to merge 5 commits into
mainfrom
ag/605-final-elements

Commits

Commits on Aug 25, 2026

Commits on Aug 26, 2026