From: Timo Heister Date: Tue, 13 Aug 2024 19:47:58 +0000 (-0400) Subject: Merge pull request #17502 from magmaxt/remove_void_cast_grid_tools_cc X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=aafd17d6ceb4f9a55d2360957f2a2e1dbff02472;p=dealii.git Merge pull request #17502 from magmaxt/remove_void_cast_grid_tools_cc Use `[[maybe_unused]]` instead of void cast --- aafd17d6ceb4f9a55d2360957f2a2e1dbff02472