From: Matthias Maier <tamiko@43-1.org>
Date: Mon, 6 Dec 2021 21:51:56 +0000 (-0600)
Subject: Merge pull request #13032 from bangerth/tbb
X-Git-Tag: v9.4.0-rc1~769
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c87d08ab10b80beb81a6ebe87b7793810b97bd02;p=dealii.git

Merge pull request #13032 from bangerth/tbb

WorkStream cleanups
---

c87d08ab10b80beb81a6ebe87b7793810b97bd02