2020-02-04 21:39:40 +03:00
<!-- Thank you for submitting a pull request. Please read our pull request guidelines before
submitting your pull request:
2020-06-16 21:00:02 +03:00
https://github.com/github/vscode-codeql/blob/main/CONTRIBUTING.md#submitting-a-pull-request.
2020-02-04 21:39:40 +03:00
-->
Replace this with a description of the changes your pull request makes.
## Checklist
2020-06-16 21:00:02 +03:00
- [ ] [CHANGELOG.md ](https://github.com/github/vscode-codeql/blob/main/extensions/ql-vscode/CHANGELOG.md ) has been updated to incorporate all user visible changes made by this pull request.
2020-02-11 21:47:37 +03:00
- [ ] Issues have been created for any UI or other user-facing changes made by this pull request.
2020-07-31 22:27:28 +03:00
- [ ] `@github/docs-content-dsp` has been cc'd in all issues for UI or other user-facing changes made by this pull request.