From: Matthias Maier Date: Tue, 4 Jul 2023 18:58:01 +0000 (+0000) Subject: Merge pull request #15642 from tamiko/fix_test_33 X-Git-Tag: relicensing~755 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a23349743153231b9ee3d5713a21d0cc67f0ea4a;p=dealii.git Merge pull request #15642 from tamiko/fix_test_33 Test fe/fe_enriched_step-36: make a test less expensive --- a23349743153231b9ee3d5713a21d0cc67f0ea4a