From: Timo Heister Date: Sat, 30 May 2020 18:50:38 +0000 (-0400) Subject: Merge pull request #10412 from bangerth/tasks-4 X-Git-Tag: v9.3.0-rc1~1515 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eab6000ff4d0c218002da2694f758f05b8aff12b;p=dealii.git Merge pull request #10412 from bangerth/tasks-4 Run operations sequentially in Threads::Task when n_threads==1. --- eab6000ff4d0c218002da2694f758f05b8aff12b