From: Bruno Turcksin Date: Tue, 11 Feb 2025 01:26:43 +0000 (-0500) Subject: Merge pull request #18113 from bangerth/fix X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3e14ec598e1f652bbc99c3608c6a998a7860a90a;p=dealii.git Merge pull request #18113 from bangerth/fix Fix grid_tools.cc without MPI and ArborX. --- 3e14ec598e1f652bbc99c3608c6a998a7860a90a