Skip to content

[basic.fundamental] Replace "denotes" with "is"#8638

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

[basic.fundamental] Replace "denotes" with "is"#8638
lprv wants to merge 1 commit intocplusplus:mainfrom
lprv:r76

Commits

Commits on Dec 14, 2025