Skip to content

[plug-in] memory: fix memory leak on plug-ins reload#4931

Merged
benoitf merged 1 commit intomasterfrom che-theia-120Apr 17, 2019

Commits

Commits on Apr 17, 2019