Skip to content

[meta.syn] Fix typo#8055

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

[meta.syn] Fix typo#8055
tkoeppe merged 1 commit intocplusplus:mainfrom
Andreas-Krug:patch-623937

Commits

Commits on Jul 14, 2025