Changes since version 3.3.17 : William Lallemand (1): BUG/MEDIUM: task: do not destroy twice the tasks already killed in mworker_cleantasks()