optimized Library::platform_type()a bit
#8380
Merged
GitHub Advanced Security / SonarCloud
succeeded
Mar 25, 2026 in 2s
No new alerts in code changed by this pull request
Loading