From: Timo Heister Date: Fri, 16 Aug 2024 15:01:12 +0000 (-0400) Subject: Merge pull request #17543 from npcantrell/removed_void_cast_in_source/fe/fe_face.cc X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=71cca2f2b43408d65c29d24acbdf5c902b3b5d09;p=dealii.git Merge pull request #17543 from npcantrell/removed_void_cast_in_source/fe/fe_face.cc removed (void) occurrences from source/fe/fe_face.cc --- 71cca2f2b43408d65c29d24acbdf5c902b3b5d09