Skip to content

Remove type ignore comments#306

Merged
karthiknadig merged 1 commit into
microsoft:release/2023.0from
karthiknadig:fix-lint1
Nov 28, 2023
Merged

Remove type ignore comments#306
karthiknadig merged 1 commit into
microsoft:release/2023.0from
karthiknadig:fix-lint1

Conversation

@karthiknadig
Copy link
Copy Markdown
Member

No description provided.

@karthiknadig karthiknadig added the bug Issue identified by VS Code Team member as probable bug label Nov 28, 2023
@karthiknadig karthiknadig self-assigned this Nov 28, 2023
@karthiknadig karthiknadig enabled auto-merge (squash) November 28, 2023 02:15
@karthiknadig karthiknadig merged commit b869384 into microsoft:release/2023.0 Nov 28, 2023
@karthiknadig karthiknadig deleted the fix-lint1 branch November 28, 2023 02:18
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants