mirror of
https://github.com/github/codeql.git
synced 2026-05-14 19:29:28 +02:00
Same as in the preceding commit, these items do not make sense as separate fields on the parent node, so we materialise (or create new) intermediate nodes to group them together.