mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
I wasn't entirely sure if this should be classified as `deprecated` or `breaking`, but seeing as these changes technically _could_ break existing queries (requiring a small rewrite), I opted for the latter.