Snippets Groups Projects

There was a problem fetching the pipeline summary.

Commit 3dc8b57d authored 7 years ago by Martin Nolte

Merge branch 'cherry-pick-e8223df8-2' into 'releases/2.6'

Merge branch 'fix/consistently-convert-reduction-to-double' into 'master'

See merge request core/dune-istl!141

parents f355cd4c e4911db9

Branches

Tags

Pipeline #

Hide whitespace changes

Inline Side-by-side

Showing with 2 additions and 2 deletions

Please register or to comment