From: Rene Gassmoeller Date: Fri, 16 Aug 2024 14:49:29 +0000 (-0600) Subject: Merge pull request #17501 from farriscr18/remove_void_cast_function_lib X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7cfa4a076b7c9cfaf89f9c54edc0219a2a9d50cb;p=dealii.git Merge pull request #17501 from farriscr18/remove_void_cast_function_lib Use `[[maybe_unused]]` instead of void cast --- 7cfa4a076b7c9cfaf89f9c54edc0219a2a9d50cb