From: Matthias Maier Date: Thu, 17 Dec 2020 05:41:08 +0000 (-0600) Subject: Merge pull request #11384 from tamiko/workaround X-Git-Tag: v9.3.0-rc1~749 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9af301c2732e8a4832e345ce27811767b8c39425;p=dealii.git Merge pull request #11384 from tamiko/workaround CMake-3.19 fixes --- 9af301c2732e8a4832e345ce27811767b8c39425