From: Marc Fehling <mafehling.git@gmail.com>
Date: Sun, 30 May 2021 05:31:14 +0000 (-0600)
Subject: Merge pull request #12332 from peterrum/point_values
X-Git-Tag: v9.4.0-rc1~1313
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=34a7c06f80fc2a17197aa71ea98573cfa686265f;p=dealii.git

Merge pull request #12332 from peterrum/point_values

Rename VectorTools::evaluate_at_points() -> VectorTools::point_values()
---

34a7c06f80fc2a17197aa71ea98573cfa686265f