From: Timo Heister Date: Fri, 16 Aug 2024 04:30:30 +0000 (-0400) Subject: Merge pull request #17504 from Sanjeeb-Poudel/remove_void_tria_accessor.cc X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=19f5541dfd94c18c55912c60ac67c2f095e0b1be;p=dealii.git Merge pull request #17504 from Sanjeeb-Poudel/remove_void_tria_accessor.cc Replaced void cast with maybe_unused --- 19f5541dfd94c18c55912c60ac67c2f095e0b1be