Use [[maybe_unused]] instead of DUNE_UNUSED (!173) · Merge requests · staging / dune-uggrid · GitLab

Snippets Groups Projects

Merged Christoph Grüninger requested to merge feature/maybe_unused-replace-DUNE_UNUSED into master 4 years ago

Activity

Christoph Grüninger assigned to @oliver.sander 4 years ago

assigned to @oliver.sander
Christoph Grüninger @gruenich · 3 years ago

Author Owner

@oliver.sander Are you going to merge this? Should I do it myself? Are there any objections?
Oliver Sander mentioned in commit 75fc9f74 3 years ago

mentioned in commit 75fc9f74
Oliver Sander merged 3 years ago

merged

Please register or sign in to reply