Skip to content

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

Markus Blatt requested to merge cherry-pick-a41d2404 into releases/2.6

has been bothering me for some time.

See merge request core/dune-grid!308

(cherry picked from commit a41d2404)

389da414 Prevent unused parmeter warnings for partition set.

Merge request reports