mirror of
https://github.com/github/codeql.git
synced 2025-12-21 11:16:30 +01:00
by making client code use the "new" class. Really, this part of the split class should have the old name, to minimise disruptions to clients. Same goes for the other split classes.