Commit f31146e9 authored by Carsten Gräser's avatar Carsten Gräser

[!716] [bugfix][cmake] Add missing header to install list. Kudos

Merge branch 'bugfix/missing-header-install' into 'master'

ref:core/dune-common arne.morten.kvarving

See merge request [!716]

  [!716]: gitlab.dune-project.org/core/dune-common/merge_requests/716
parents 4c8ddca1 1f8ac301
Pipeline #21954 passed with stage
in 10 minutes and 31 seconds