From: Matthias Maier <tamiko@43-1.org>
Date: Sun, 27 Jun 2021 07:20:06 +0000 (-0500)
Subject: Merge pull request #12488 from tamiko/pr_12478
X-Git-Tag: v9.3.1~9
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f7c2023b04e2d693f53903e6e56ed1b032c99662;p=dealii.git

Merge pull request #12488 from tamiko/pr_12478

[9.3.] fix cmake underlinkage error
---

f7c2023b04e2d693f53903e6e56ed1b032c99662