From 64ac5770a25e6e0745d41a9b8d800d3ea222f597 Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Thu, 4 Jun 2020 10:36:54 +0000
Subject: [PATCH] Change PDELab branch - the fix was merged.

---
 packages/dune/package.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/dune/package.py b/packages/dune/package.py
index 8e87a25..5e5f344 100644
--- 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')