Fix #14680: GUI: internalError with empty user includes - #8478
Merged
GitHub Advanced Security / CodeQL
succeeded
Apr 22, 2026 in 1s
No new alerts in code changed by this pull request
Loading