Merge branch 'ci-refactor-source' into 'master' Addresses: [#32] See merge request [joe/pacxx-docker!79] [#32]: gitlab.dune-project.org/joe/pacxx-docker/issues/32 [joe/pacxx-docker!79]: gitlab.dune-project.org/joe/pacxx-docker/merge_requests/79
Merge branch 'ci-refactor-source' into 'master' Addresses: [#32] See merge request [joe/pacxx-docker!79] [#32]: gitlab.dune-project.org/joe/pacxx-docker/issues/32 [joe/pacxx-docker!79]: gitlab.dune-project.org/joe/pacxx-docker/merge_requests/79