]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17501 from farriscr18/remove_void_cast_function_lib
authorRene Gassmoeller <rene.gassmoeller@mailbox.org>
Fri, 16 Aug 2024 14:49:29 +0000 (08:49 -0600)
committerGitHub <noreply@github.com>
Fri, 16 Aug 2024 14:49:29 +0000 (08:49 -0600)
commit7cfa4a076b7c9cfaf89f9c54edc0219a2a9d50cb
tree401dc3f606b903d0726b09f0dbf7a8b82643d77d
parent88db34af93d24710724e25e28b4183c25923e9de
parent476ab93549c33fb235f1ba4fe844fc8d6e89e35c
Merge pull request #17501 from farriscr18/remove_void_cast_function_lib

Use `[[maybe_unused]]` instead of void cast

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.