Change PDELab branch - the fix was merged.

2020-06-04 10:36:54 +00:00 · 2020-06-04 10:36:54 +00:00 · 64ac5770a2
parent 640fc04f6a
commit 64ac5770a2
1 changed files with 1 additions and 1 deletions
--- a/packages/dune/package.py
+++ b/packages/dune/package.py
@ -256,7 +256,7 @@ class Dune(CMakePackage):
    resource(
        name='dune-pdelab',
        git='https://gitlab.dune-project.org/pdelab/dune-pdelab.git',
-        branch='bugfix/library-build',
+        branch='master',
        when='@master+pdelab',
    )
    conflicts('dune@2.7', when='+pdelab')