Fix #9697: `tasks#taskExecutions` not return running tasks after refresh#10330

Merged

alvsan09 merged 1 commit intoeclipse-theia:masterfrom EstherPerelman:refresh-running-tasks

Oct 29, 2021

+12-18

Commits on Oct 27, 2021

Fix eclipse-theia#9697 : tasks#taskExecutions not return running tasks after refresh
EstherPerelman
committed