Commit 2345c2c0 authored by Christoph Grüninger's avatar Christoph Grüninger
Browse files

Merge branch 'feature/maybe_unused-replace-DUNE_UNUSED' into 'master'

Use [[maybe_unused]] instead of DUNE_UNUSED

See merge request !181
parents fdc3c686 fbafea20
Pipeline #34738 failed with stage
in 7 minutes and 27 seconds