From: Wolfgang Bangerth Date: Fri, 25 Apr 2025 14:35:48 +0000 (-0600) Subject: Merge pull request #18388 from marcfehling/search-local X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5a760040edb2086d624fb6f3ad38362d1a588fa4;p=dealii.git Merge pull request #18388 from marcfehling/search-local Remove `P4EST_WITH_SEARCH_LOCAL`. --- 5a760040edb2086d624fb6f3ad38362d1a588fa4