Skip to content

[basic.compound] Demote redundant wording to a note#8645

Open
lprv wants to merge 1 commit intocplusplus:mainfrom
lprv:r83
Open

[basic.compound] Demote redundant wording to a note#8645
lprv wants to merge 1 commit intocplusplus:mainfrom
lprv:r83

Commits

Commits on Dec 14, 2025