mirror of
https://github.com/github/codeql.git
synced 2026-04-28 02:05:14 +02:00
This issue has slipped during a recent refactoring: https://github.com/github/codeql/pull/10987/files#diff-c5ab26a06a93c4507a834859a6a56878d5bfe16c4d7cbac4afc4f081d46f461aL63-R64