2020-09-16 01:13:49 +02:00
|
|
|
<!-- Thank you for submitting a Pull Request. Please:
|
2019-10-11 11:56:05 +02:00
|
|
|
* Read our Pull Request guidelines:
|
2021-01-27 10:17:15 +01:00
|
|
|
https://github.com/microsoft/vscode/wiki/How-to-Contribute#pull-requests
|
2019-10-11 11:56:05 +02:00
|
|
|
* Associate an issue with the Pull Request.
|
2021-02-14 20:10:24 +01:00
|
|
|
* Ensure that the code is up-to-date with the `main` branch.
|
2020-09-16 01:13:49 +02:00
|
|
|
* Include a description of the proposed changes and how to test them.
|
2019-10-11 11:56:05 +02:00
|
|
|
-->
|
|
|
|
|
|
|
|
This PR fixes #
|