Skip to content

use the new non-deprecated Xml instead of XML#69

Closed
erik-krogh wants to merge 1 commit into
github:mainfrom
erik-krogh:XMLXml
Closed

use the new non-deprecated Xml instead of XML#69
erik-krogh wants to merge 1 commit into
github:mainfrom
erik-krogh:XMLXml

Conversation

@erik-krogh
Copy link
Copy Markdown
Contributor

Description

I recently renamed XML to Xml throughout github/codeql: github/codeql#10073.
Now I see that you use the old version here, so I thought I should fix that.
I don't know if this will work.

Change request type

  • Query files (.ql, .qll, .qls or unit tests)

Release change checklist

A change note (development_handbook.md#change-notes) is required for any pull request which modifies:

  • The structure or layout of the release artifacts.
  • The evaluation performance (memory, execution time) of an existing query.
  • The results of an existing query in any circumstance.

If you are only adding new rule queries, a change note is not required.

Author: Is a change note required?

  • Yes
  • No

Reviewer: Confirm that either a change note is not required or the change note is required and has been added.

  • Confirmed

@erik-krogh
Copy link
Copy Markdown
Contributor Author

I see from supported_codeql_configs.json that CodeQL 2.7.6 is the only supported version.
Which means that this change isn't relevant.

@erik-krogh erik-krogh closed this Aug 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Development

Successfully merging this pull request may close these issues.

1 participant