mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
Commit a1e44041e made `XMLFile` no longer extend `File`. I'm guessing
this was necessary in the branch where `File` was an IPA-typed `Element`
and `XMLFile` was not, but it broke compilation of some of our internal
queries.