Revert PR #1527: remove one-time defaultEnvManager User-settings migration#1612
Draft
eleanorjboyd with Copilot wants to merge 1 commit into
Draft
Revert PR #1527: remove one-time defaultEnvManager User-settings migration#1612eleanorjboyd with Copilot wants to merge 1 commit into
defaultEnvManager User-settings migration#1612eleanorjboyd with Copilot wants to merge 1 commit into