From: Wolfgang Bangerth Date: Tue, 13 Aug 2024 15:00:29 +0000 (-0600) Subject: Merge pull request #17499 from Sam0h51/remove_void_cast_init_finalize X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=120230fe36fd65986fe6abb0271d08046b08dc7c;p=dealii.git Merge pull request #17499 from Sam0h51/remove_void_cast_init_finalize Replaced void cast with [[maybe_unused]] in init_finalize.cc --- 120230fe36fd65986fe6abb0271d08046b08dc7c