Skip to content

[meta.type.synop] Fix indentation#8066

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

[meta.type.synop] Fix indentation#8066
tkoeppe merged 1 commit intocplusplus:mainfrom
Andreas-Krug:patch-277219

Commits

Commits on Jul 15, 2025