Skip to content
Snippets Groups Projects

Merge branch 'add-missing-header' into 'master'

Merged Merge branch 'add-missing-header' into 'master'
cherry-pick-7bbb4d31 into releases/2.7
Merged Oliver Sander requested to merge cherry-pick-7bbb4d31 into releases/2.7

Add missing header resize.hh to CMakeLists.txt

See merge request agnumpde/dune-matrix-vector!10

(cherry picked from commit 7bbb4d31)

bc256515 Add missing header resize.hh to CMakeLists.txt

Merge request reports

Checking pipeline status.

Merged by Oliver SanderOliver Sander 4 years ago (Nov 16, 2020 11:57am UTC)

Loading

Pipeline #58805 failed

Stage: test

Pipeline failed for d145b475 on releases/2.7

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply