Merge remote-tracking branch 'origin/ducc0' into new_thread_pool

4 jobs for new_thread_pool in 17 minutes and 32 seconds