Skip to content

Port github/codeql#21202 to our fork#319

Merged
bdrodes merged 3 commits intomainfrom
port-#21202-to-microsoft
Jan 27, 2026
Merged

Port github/codeql#21202 to our fork#319
bdrodes merged 3 commits intomainfrom
port-#21202-to-microsoft