mirror of
https://github.com/github/codeql.git
synced 2026-07-12 15:05:33 +02:00
We were giving warnings about comments, when we were actually trying to populate numlines.
We were giving warnings about comments, when we were actually trying to populate numlines.