Skip to content

[basic.def.odr] Add punctuation#8598

Merged
jensmaurer merged 1 commit intocplusplus:mainfrom
lprv:r47
Dec 10, 2025
Merged

[basic.def.odr] Add punctuation#8598
jensmaurer merged 1 commit intocplusplus:mainfrom
lprv:r47

Commits

Commits on Dec 9, 2025