From: Timo Heister Date: Tue, 13 Aug 2024 21:25:32 +0000 (-0400) Subject: Merge pull request #17509 from jerett-cc/remove_void_cast_function_lib X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7c53e96ee604517866bdeea8442292f24b796c4d;p=dealii.git Merge pull request #17509 from jerett-cc/remove_void_cast_function_lib Remove void cast function lib replace with [[maybe_unused]] attribute --- 7c53e96ee604517866bdeea8442292f24b796c4d