From: Martin Kronbichler Date: Wed, 12 Aug 2020 11:34:52 +0000 (+0200) Subject: Merge pull request #10784 from peterrum/use_fe_face_vectors X-Git-Tag: v9.3.0-rc1~1191 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5fe8a0834253d907b2f7d0c2f0f3541566213167;p=dealii.git Merge pull request #10784 from peterrum/use_fe_face_vectors Use face_no in FE --- 5fe8a0834253d907b2f7d0c2f0f3541566213167