Merge branch 'feature/ci-setup-2' into 'master'
ref:spack/dune-spack\> This finishes the CI setup after an initial merge that
was necessary to start running CI on the project.
See merge request [spack/dune-spack!4]
[spack/dune-spack!4]: gitlab.dune-project.org/spack/dune-spack/merge_requests/4
Merge branch 'bugfix/add-gawk' into 'master'
ref:spack/dune-spack\> The duneproject script uses awk. On my machine it fails
because system awk is messed up by the spack set-up LD_LIBRARY_PATH.
See merge request [spack/dune-spack!1]
[spack/dune-spack!1]: gitlab.dune-project.org/spack/dune-spack/merge_requests/1
Merge branch 'feature/disclaimer' into 'master'
ref:spack/dune-spack\> As the repository is public, we should warn about its
experimental status.
See merge request [spack/dune-spack!2]
[spack/dune-spack!2]: gitlab.dune-project.org/spack/dune-spack/merge_requests/2