Commit 39383a6b authored by rinpatch's avatar rinpatch

Merge branch 'feature/thread-muting' into 'develop'

Feature/thread muting

See merge request !796
parents 04461629 ac72b578
Pipeline #7443 passed with stages
in 3 minutes and 40 seconds