Fix Issue 8463 - calling extension activate() by other extension#8542

Merged

amiramw merged 1 commit intoeclipse-theia:masterfrom tomer-epstein:extension.activate

Oct 15, 2020

+1-24

Commits on Oct 8, 2020

Fix Issue 8463 - calling extension activate() by other extension doesn't work.
tomer-epstein
committed