From: Peter Munch Date: Tue, 22 Dec 2020 20:42:25 +0000 (+0100) Subject: Merge pull request #11410 from Rombur/revert_ginkgo X-Git-Tag: v9.3.0-rc1~726 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dd4c66b98985fce2949e858c574098dbfcdbc4db;p=dealii.git Merge pull request #11410 from Rombur/revert_ginkgo Revert "Merge pull request #11402 from pratikvn/fix-ginkgo-cmake" --- dd4c66b98985fce2949e858c574098dbfcdbc4db