From: Rene Gassmoeller Date: Wed, 14 Aug 2024 22:27:14 +0000 (-0700) Subject: Merge pull request #17497 from OresteMarquis/remove_void_cast_tria_5to10 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=52f56ef97a0b9dfbcae173b218af617933ef9d07;p=dealii.git Merge pull request #17497 from OresteMarquis/remove_void_cast_tria_5to10 Remove void casts and use `[[maybe_unused]]` instead --- 52f56ef97a0b9dfbcae173b218af617933ef9d07