From: Peter Munch Date: Mon, 17 May 2021 13:18:51 +0000 (+0200) Subject: Merge pull request #12228 from luca-heltai/quick-fix-kinsol X-Git-Tag: v9.3.0-rc1~57 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8dd29a44b6c2cdab82cbda4f36a377a4c23bc33d;p=dealii.git Merge pull request #12228 from luca-heltai/quick-fix-kinsol Dirty fix for the tester. --- 8dd29a44b6c2cdab82cbda4f36a377a4c23bc33d