mirror of
https://github.com/github/codeql.git
synced 2026-07-12 15:05:33 +02:00
This commit was reverted on `master` but should remain on `next`, so I'm
reverting the revert before merging `master` into `next`.
This reverts commit adda4c91cf.