From: Martin Kronbichler Date: Tue, 11 Aug 2020 11:37:01 +0000 (+0200) Subject: Merge pull request #10794 from peterrum/quad_dof_identities_face_type X-Git-Tag: v9.3.0-rc1~1200 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a1e130d2df18365decbde3cf727c0fb739c44a16;p=dealii.git Merge pull request #10794 from peterrum/quad_dof_identities_face_type Save face type in quad_dof_identities --- a1e130d2df18365decbde3cf727c0fb739c44a16