Skip to content

[optional.ref.ctor] Fix punctuation#8068

Merged
tkoeppe merged 1 commit intocplusplus:mainfrom
Andreas-Krug:patch-409735
Jul 17, 2025
Merged

[optional.ref.ctor] Fix punctuation#8068
tkoeppe merged 1 commit intocplusplus:mainfrom
Andreas-Krug:patch-409735

Commits

Commits on Jul 15, 2025