Skip to content

Conversation

@gjsjohnmurray
Copy link
Contributor

This PR fixes #126842

@isidorn isidorn added the file-explorer Explorer widget issues label Jun 22, 2021
@isidorn isidorn added this to the July 2021 milestone Jun 22, 2021
@isidorn isidorn merged commit 97faef9 into microsoft:main Aug 2, 2021
@isidorn isidorn modified the milestones: July 2021, August 2021 Aug 2, 2021
@isidorn
Copy link
Collaborator

isidorn commented Aug 2, 2021

@gjsjohnmurray thanks a lot for this PR 👏
Looks good -> merging it in.

@gjsjohnmurray gjsjohnmurray deleted the fix-126842 branch August 2, 2021 15:15
@github-actions github-actions bot locked and limited conversation to collaborators Sep 16, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

file-explorer Explorer widget issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

FSP root folder in workspace retains '!' error indicator after successful refresh

2 participants