From: Matthias Maier <tamiko@43-1.org>
Date: Wed, 12 Jul 2023 14:28:54 +0000 (+0000)
Subject: Merge pull request #15726 from tamiko/pr_15725
X-Git-Tag: v9.5.1~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=249f2cb5e718aa60c3d15e1b7a7f2cca340d4f48;p=dealii.git

Merge pull request #15726 from tamiko/pr_15725

[9.5] bundled/tbb: fix compilation with gcc-13
---

249f2cb5e718aa60c3d15e1b7a7f2cca340d4f48