mirror of
https://github.com/github/codeql.git
synced 2026-05-15 03:39:32 +02:00
I'll be honest -- I have no idea what this query is for. However, the ported version seems no less reasonable than the original. No test changes.