From: Martin Kronbichler Date: Fri, 19 Aug 2022 06:43:08 +0000 (+0200) Subject: Merge pull request #14199 from drwells/cleanup-mapping-q1-inclusions X-Git-Tag: v9.5.0-rc1~1032 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d8dacc551ef4a4f8dcfe93361ba5a44ad14b2448;p=dealii.git Merge pull request #14199 from drwells/cleanup-mapping-q1-inclusions Cleanup mapping q1 inclusions --- d8dacc551ef4a4f8dcfe93361ba5a44ad14b2448