mirror of
https://github.com/github/codeql.git
synced 2026-05-06 06:05:19 +02:00
Javadoc claims not to be able to resolve this link, while Eclipse manages to do so without any problems, failing an internal PR check. It's only in a test, though, so I just removed it.