Skip to content

Remove unnecessary if - #5172

Merged
nlohmann merged 1 commit into
developfrom
remove-if
Jun 23, 2026
Merged

Remove unnecessary if#5172
nlohmann merged 1 commit into
developfrom
remove-if

:recycle: remove unnecessary if

080cfea
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded May 15, 2026 in 2s

No new alerts in code changed by this pull request