Skip to content

[basic.align] Demote informative sentence to a note#8631

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

[basic.align] Demote informative sentence to a note#8631
lprv wants to merge 1 commit intocplusplus:mainfrom
lprv:r69

Commits

Commits on Dec 14, 2025