mirror of
https://github.com/github/codeql.git
synced 2026-04-27 17:55:19 +02:00
This solved performance problems experienced in https://github.com/github/codeql/pull/8634, and this commit+PR is to ensure we get this change in as fast as possible.