mirror of
https://github.com/github/codeql.git
synced 2025-12-17 01:03:14 +01:00
We don't hyphenate "QL-library" and there were a few typos. Feel free to further revise this if I've changed the meaning too much. As discussed separately, I was unable to raise this as a PR in GitHub.com and had to resort to a direct commit.