Pipelines · Merge branch 'cherry-pick-a751323f' into 'releases/2.6' (f3a4bcb7) · Commits · Core Modules / dune-grid

Commit f3a4bcb7 authored Dec 11, 2017 by

Martin Nolte

Merge branch 'fix-seq-uggrid-warning' into 'master'

See merge request !256

Pipeline #6290 passed with stage in 58 minutes and 22 seconds