From: Matthias Maier <tamiko@43-1.org>
Date: Tue, 3 Dec 2019 15:59:53 +0000 (-0600)
Subject: Merge pull request #9117 from marcfehling/fix-pthread
X-Git-Tag: v9.2.0-rc1~823
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a11b1b5ec0fd3ea2105ee5c609404b78a2c838e3;p=dealii.git

Merge pull request #9117 from marcfehling/fix-pthread

Fixed cmake 3.16.0 incompatibility.
---

a11b1b5ec0fd3ea2105ee5c609404b78a2c838e3