mirror of
https://github.com/github/codeql.git
synced 2026-04-28 18:25:24 +02:00
I couldn't see any reason that we should give up altogether if there are multiple `*args` arguments. Including the first one looks like a win to me!