From: Martin Kronbichler Date: Mon, 20 Mar 2023 07:59:39 +0000 (+0100) Subject: Merge pull request #14916 from bangerth/update-flags X-Git-Tag: v9.5.0-rc1~458 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5b5ec62d04bee889991f8b58d12af667bd338282;p=dealii.git Merge pull request #14916 from bangerth/update-flags Update description of UpdateFlags::update_quadrature_points. --- 5b5ec62d04bee889991f8b58d12af667bd338282