Skip to content

Drop the processed task from all_tasks() list early#3587

Merged
asvetlov merged 2 commits intomasterfrom del-taskMay 8, 2019