Skip to content

Conversation

@karrtikr
Copy link
Contributor

@karrtikr karrtikr commented Aug 8, 2023

For #171173

@vscodenpa vscodenpa added this to the August 2023 milestone Aug 8, 2023
@karrtikr karrtikr requested a review from Tyriar August 8, 2023 21:30
@karrtikr karrtikr merged commit 7aee1d6 into main Aug 8, 2023
@karrtikr karrtikr deleted the kartik/general-tarsier branch August 8, 2023 22:36
karrtikr pushed a commit to microsoft/vscode-python that referenced this pull request Aug 10, 2023
For microsoft/vscode#171173
#20822

To be merged tomorrow when latest insiders is released. Blocked on
microsoft/vscode#189979.
anthonykim1 pushed a commit to anthonykim1/vscode-python that referenced this pull request Sep 12, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Sep 22, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants