From: Luca Heltai Date: Thu, 8 May 2025 11:20:01 +0000 (+0200) Subject: Merge pull request #18390 from warthan07/fix_extrapolate_compression X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b77d7cead7b6524810952ad9143f8e2431bf1fe7;p=dealii.git Merge pull request #18390 from warthan07/fix_extrapolate_compression Fix FETools::extrapolate (#18389) --- b77d7cead7b6524810952ad9143f8e2431bf1fe7