mirror of
https://github.com/github/codeql.git
synced 2026-02-11 20:51:06 +01:00
This commit used to make sense to have here in the ordering of commits, but due to various rebases it no longer changes any test output.. it's still a good change though, so I'll keep it.