From: Peter Munch Date: Thu, 3 Oct 2024 04:55:46 +0000 (+0200) Subject: Merge pull request #17740 from gassmoeller/avoid_unnecessary_work X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=853d02ef407da47c97c7cf60c96bfa72b1c845ca;p=dealii.git Merge pull request #17740 from gassmoeller/avoid_unnecessary_work Return earlier if possible inside `FEPointEvaluation::evaluate` --- 853d02ef407da47c97c7cf60c96bfa72b1c845ca