Follow-up to #13712: Report unknownMacro#8152
Merged
chrchr-github merged 1 commit intoJan 25, 2026
Merged
GitHub Advanced Security / CodeQL
succeeded
Jan 24, 2026 in 2s
No new alerts in code changed by this pull request
Loading