From: Wolfgang Bangerth Date: Wed, 12 May 2021 16:52:50 +0000 (-0600) Subject: Merge pull request #12187 from zjiaqi2018/feiv_extractors_optimization X-Git-Tag: v9.3.0-rc1~87 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b96d9231ced306d7e3dedfce0a00878b040b2d48;p=dealii.git Merge pull request #12187 from zjiaqi2018/feiv_extractors_optimization Optimize FEInterfaceValues extractors --- b96d9231ced306d7e3dedfce0a00878b040b2d48