From: Matthias Maier Date: Tue, 13 Aug 2024 03:15:21 +0000 (+0000) Subject: Merge pull request #17493 from lpsaavedra/remove_void_cast X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8264bf52932bf76f0af185e9864511eef295b374;p=dealii.git Merge pull request #17493 from lpsaavedra/remove_void_cast Replace void cast with `[[maybe_unused]]` in FESystem source file --- 8264bf52932bf76f0af185e9864511eef295b374