Commit 33da2b27 authored by Claus-Justus Heine's avatar Claus-Justus Heine

[!288] Cleanup commit b20e0a2c

Merge branch 'bugfix/maybe-unused-attribute-warning' into 'master'

See merge request [!288]

  [!288]: Nonedune-fem/dune-fem/merge_requests/288
parents c4aeb9ee c716f4d3
Pipeline #15313 passed with stage
in 63 minutes and 9 seconds