From: Matthias Maier Date: Wed, 5 Jul 2023 02:28:31 +0000 (+0000) Subject: Merge pull request #15654 from tamiko/fix_tests X-Git-Tag: relicensing~745 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5e6f149ee3343ba95b365b6ff48726463465829a;p=dealii.git Merge pull request #15654 from tamiko/fix_tests Tests: add forgotten namespace, fix typo in includes --- 5e6f149ee3343ba95b365b6ff48726463465829a