Closed codeql-ci closed 2 years ago
@smowton I pushed a minor fix to correct a typo.
I don't know what these are supposed to look like, so merge whenever you're happy
@smowton I pushed a minor fix to correct a typo.