mirror of
https://github.com/github/codeql.git
synced 2026-04-08 00:24:03 +02:00
Otherwise they would both apply at the same time, making both versions of the query identical.
Otherwise they would both apply at the same time, making both versions of the query identical.