Skip to content

Cherry-pick: Check for hideFromUser before activating current terminal (#12942)#12956

Merged
karthiknadig merged 1 commit intomicrosoft:release-2020.07from
karthiknadig:cherry1
Jul 14, 2020
Merged

Cherry-pick: Check for hideFromUser before activating current terminal (#12942)#12956
karthiknadig merged 1 commit intomicrosoft:release-2020.07from
karthiknadig:cherry1

Commits

Commits on Jul 14, 2020