Commit 83a70bf7 authored by Markus Blatt's avatar Markus Blatt

[!309] [!308] Prevent unused parmeter warnings for partition set.

Merge branch 'cherry-pick-a41d2404' into 'releases/2.6'

has been bothering me for some time.

See merge request [[!308]]

(cherry picked from commit a41d2404)

389da414 Prevent unused parmeter warnings for partition set.

See merge request [!309]

  [!308]: gitlab.dune-project.org/core/dune-grid/merge_requests/308
  [!309]: gitlab.dune-project.org/core/dune-grid/merge_requests/309
parents 8518c7ab 6ebd1acf
Pipeline #12321 passed with stage
in 24 minutes and 46 seconds