From: Matthias Maier Date: Thu, 6 Jul 2023 19:34:39 +0000 (+0000) Subject: Merge pull request #15670 from tamiko/udpate_tester_names X-Git-Tag: relicensing~734 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=aebed96336bfcb8516ff75037b4c558051d60e5d;p=dealii.git Merge pull request #15670 from tamiko/udpate_tester_names Tests: update official tester names --- aebed96336bfcb8516ff75037b4c558051d60e5d