Which was certainly an improvement, given that Github is in no hurry to add modules support to CodeQL.
Which was certainly an improvement, given that Github is in no hurry to add modules support to CodeQL.