mirror of
https://github.com/github/codeql.git
synced 2026-01-18 17:04:50 +01:00
This change removes some duplicate results that will otherwise appear due to https://github.com/Semmle/ql/pull/3123 and possibly https://github.com/Semmle/ql/pull/2704.