From: Matthias Maier Date: Thu, 22 Jun 2023 14:54:40 +0000 (+0000) Subject: Merge pull request #15423 from kronbichler/spell_set_up_2 X-Git-Tag: v9.5.0-rc1~58 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=84b3d6aeae7d8192ae6892362bc5527548f91e01;p=dealii.git Merge pull request #15423 from kronbichler/spell_set_up_2 Fix a few more 'set up' --- 84b3d6aeae7d8192ae6892362bc5527548f91e01