From: Timo Heister Date: Fri, 8 May 2020 15:07:06 +0000 (-0400) Subject: Merge pull request #10076 from tamiko/fix_query_testsuite_script X-Git-Tag: v9.2.0-rc1~81 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=718795787bc50cb46755b603b0ab8a6eaacf9f8f;p=dealii.git Merge pull request #10076 from tamiko/fix_query_testsuite_script contrib/utilities/query_testsuite: modernize --- 718795787bc50cb46755b603b0ab8a6eaacf9f8f