mirror of
https://github.com/github/codeql.git
synced 2025-12-24 04:36:35 +01:00
This issue has slipped during a recent refactoring: https://github.com/github/codeql/pull/10987/files#diff-c5ab26a06a93c4507a834859a6a56878d5bfe16c4d7cbac4afc4f081d46f461aL63-R64