Unverified Commit 2b6a3390 authored Apr 19, 2021 by Andreas Klöckner Committed by GitHub Apr 19, 2021

Merge pull request #72 from alexfikl/fix-dg-discr-with-boundary

Call super in deprecated DGDiscretizationWithBoundaries