Commit bb061abb authored by Witold Krecicki's avatar Witold Krecicki

Merge branch 'wpk/fix-taskmgr-pause-unpause-detach-race' into 'master'

Fix a race in taskmgr between worker and task pausing/unpausing.

Closes #1571

See merge request !2918
parents 684a44b4 63b702d0
Pipeline #31414 failed with stages
in 39 minutes and 11 seconds