From: Timo Heister <timo.heister@gmail.com>
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