From: Martin Kronbichler Date: Sun, 30 May 2021 08:43:30 +0000 (+0200) Subject: Merge pull request #12355 from peterrum/point_values_93 X-Git-Tag: v9.3.0~7 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=263e3f5675794bd96063ae2312a386acbcf3e21f;p=dealii.git Merge pull request #12355 from peterrum/point_values_93 [9.3] Take over #12332: Rename VectorTools::evaluate_at_points() -> VectorTools::point_values() --- 263e3f5675794bd96063ae2312a386acbcf3e21f