mirror of
https://github.com/github/codeql.git
synced 2026-04-21 15:05:56 +02:00
This required making some of the relevant bits public, but they are marked as internal anyway.
This required making some of the relevant bits public, but they are marked as internal anyway.