From: Marc Fehling <mafehling.git@gmail.com>
Date: Mon, 6 Dec 2021 01:16:06 +0000 (-0700)
Subject: Merge pull request #13031 from bangerth/tbb
X-Git-Tag: v9.4.0-rc1~771
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e1eec081b82e61b186f119c3611d643b1ee3a848;p=dealii.git

Merge pull request #13031 from bangerth/tbb

Minimal change to make WorkStream work with newer TBB versions.
---

e1eec081b82e61b186f119c3611d643b1ee3a848