mirror of
https://github.com/github/codeql.git
synced 2026-04-23 15:55:18 +02:00
Since the previous commit removed the best evidence we had for the change described in this note, I'm removing the note for now.
Since the previous commit removed the best evidence we had for the change described in this note, I'm removing the note for now.