Skip to content

[is.sorted] Fix indentation#8804

Merged
jensmaurer merged 1 commit intocplusplus:mainfrom
Andreas-Krug:patch-98483
Mar 21, 2026
Merged

[is.sorted] Fix indentation#8804
jensmaurer merged 1 commit intocplusplus:mainfrom
Andreas-Krug:patch-98483

Commits

Commits on Mar 21, 2026