From: Peter Munch Date: Sun, 5 Jun 2022 22:16:26 +0000 (+0200) Subject: Merge pull request #13907 from NiklasWik/project_div_conforming X-Git-Tag: v9.4.0-rc1~69 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=97f30db789f0b18b951600040257b5d24fd4ac4d;p=dealii.git Merge pull request #13907 from NiklasWik/project_div_conforming Add typename and instantiation to `project_boundary_values_div_conforming` --- 97f30db789f0b18b951600040257b5d24fd4ac4d