From: Wolfgang Bangerth Date: Tue, 1 Jul 2025 22:27:54 +0000 (-0600) Subject: Merge pull request #18604 from marcfehling/kelly-estimate-hp X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fbf8953f0f0a953bc64679556b7c5c45fbf76ec6;p=dealii.git Merge pull request #18604 from marcfehling/kelly-estimate-hp Use MappingCollection for hp variant of KellyErrorEstimator. --- fbf8953f0f0a953bc64679556b7c5c45fbf76ec6