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