Skip to content

Conversation

@maxg203
Copy link
Contributor

@maxg203 maxg203 commented Dec 14, 2023

As the title says.

@karthiknadig karthiknadig self-assigned this Dec 15, 2023
@karthiknadig karthiknadig added bug Issue identified by VS Code Team member as probable bug documentation labels Dec 15, 2023
@vscodenpa vscodenpa added this to the December / January 2024 milestone Dec 15, 2023
Copy link
Member

@luabud luabud left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the PR!

@karthiknadig karthiknadig merged commit 8a93309 into microsoft:main Dec 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Issue identified by VS Code Team member as probable bug documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants