Skip to content

[cpp.replace.general] Promote footnote to note#8583

Merged
tkoeppe merged 1 commit intocplusplus:mainfrom
AlisdairM:promote_footnote126_to_note
Dec 15, 2025
Merged

[cpp.replace.general] Promote footnote to note#8583
tkoeppe merged 1 commit intocplusplus:mainfrom
AlisdairM:promote_footnote126_to_note

Commits

Commits on Dec 15, 2025