Skip to content

[flat.set.defn] Fix indentation#8685

Merged
tkoeppe merged 1 commit intocplusplus:mainfrom
Andreas-Krug:patch-782759
Dec 26, 2025
Merged

[flat.set.defn] Fix indentation#8685
tkoeppe merged 1 commit intocplusplus:mainfrom
Andreas-Krug:patch-782759

Commits

Commits on Dec 26, 2025