mirror of
https://github.com/github/codeql.git
synced 2026-01-29 22:32:58 +01:00
This reverts commit 8aaa7c8925.
The bug it was working around (if it ever did) has been fixed.
This reverts commit 8aaa7c8925.
The bug it was working around (if it ever did) has been fixed.