From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Thu, 30 Nov 2023 14:53:50 +0000 (-0700)
Subject: Merge pull request #16311 from peterrum/warning_point_gradients
X-Git-Tag: relicensing~272
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c86a30a55e603b7210f0669808c409ad3e32d6f7;p=dealii.git

Merge pull request #16311 from peterrum/warning_point_gradients

Fix warning
---

c86a30a55e603b7210f0669808c409ad3e32d6f7