Use [[maybe_unused] instead of DUNE_UNUSED / DUNE_UNUSED_PARAMETER

added 1 commit

• 869c03c9 - Work around GCC bug with maybe_unused

Compare with previous version

added 4 commits

• 869c03c9...3b461a88 - 2 commits from branch master
• 83e07438 - Use [[maybe_unused] instead of DUNE_UNUSED / DUNE_UNUSED_PARAMETER
• e00ff6c1 - Work around GCC bug with maybe_unused

Compare with previous version

mentioned in merge request dune-common!946 (merged)

added 1 commit

• 7ac21e7d - Use [[maybe_unused] instead of DUNE_UNUSED / DUNE_UNUSED_PARAMETER

Compare with previous version

added 7 commits

• 7ac21e7d...c2800d4f - 6 commits from branch master
• ac5b0bc8 - Use [[maybe_unused] instead of DUNE_UNUSED / DUNE_UNUSED_PARAMETER

Compare with previous version

enabled an automatic merge when the pipeline for ac5b0bc8 succeeds

mentioned in commit 105e8afc

merged