mirror of
https://github.com/github/codeql.git
synced 2026-07-08 04:55:32 +02:00
This required quite some changes in the expected output. I think it's much more
clear what the selected nodes are now 👍 (but it was a bit boring work to fix
this up)