mirror of
https://github.com/github/codeql.git
synced 2026-03-20 22:46:47 +01:00
This is not strictly necessary, but it was bothering me that this simply covered _all_ nodes that were both definitions and names at the same time. Now it actually encompasses what the documentation claims it does.