Fail if a workspace is disposed outside the manager#1532
Closed
laeubi wants to merge 1 commit intoeclipse-pde:masterfrom
Closed
Fail if a workspace is disposed outside the manager#1532laeubi wants to merge 1 commit intoeclipse-pde:masterfrom
laeubi wants to merge 1 commit intoeclipse-pde:masterfrom
