From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Wed, 15 Jul 2020 23:57:43 +0000 (-0600)
Subject: Merge pull request #10679 from tjhei/tbb-refactor-colored
X-Git-Tag: v9.3.0-rc1~1286
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b209adea822251b5b8b6479614e6c76b3ad589ef;p=dealii.git

Merge pull request #10679 from tjhei/tbb-refactor-colored

extract TBB colored WorkStream::run
---

b209adea822251b5b8b6479614e6c76b3ad589ef