revert: remove unnecessary refresh call for environment managers on expansion#811
Merged
Merged
VS Code Engineering / Community PR Approvals
succeeded
Sep 8, 2025 in 1s
Not a community PR
PR created by a collaborator
Loading