mirror of
https://github.com/github/codeql.git
synced 2026-04-20 22:44:52 +02:00
We have treated it this way for a while internally and it corrects for some minor deviations from the spec.
We have treated it this way for a while internally and it corrects for some minor deviations from the spec.