From: Wolfgang Bangerth Date: Fri, 25 Feb 2022 23:45:27 +0000 (-0700) Subject: Merge pull request #13450 from zjiaqi2018/fix-instantiation X-Git-Tag: v9.4.0-rc1~443 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=41d229464823b43ed41fcab29f77cbd71aa4452a;p=dealii.git Merge pull request #13450 from zjiaqi2018/fix-instantiation Fix instantiation for add_entries_local_to_global --- 41d229464823b43ed41fcab29f77cbd71aa4452a