mirror of
https://github.com/github/codeql.git
synced 2026-01-09 20:50:21 +01:00
https://github.com/github/codeql/pull/4312 Co-authored-by: Felicity Chapman <felicitymay@github.com> Co-authored-by: Arthur Baars <aibaars@github.com>