mirror of
https://github.com/github/codeql.git
synced 2025-12-24 20:56:33 +01: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.