Skip to content

Remove spurious const in extension type grammar rule#4593

Merged
eernstg merged 1 commit intomainfrom
spec_augmentation_et_fix_dec25
Dec 30, 2025
Merged

Remove spurious const in extension type grammar rule#4593
eernstg merged 1 commit intomainfrom
spec_augmentation_et_fix_dec25

Commits

Commits on Dec 12, 2025