From: Timo Heister <timo.heister@gmail.com>
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