From: Timo Heister Date: Wed, 9 Jul 2025 01:20:33 +0000 (-0400) Subject: Merge pull request #18645 from tamiko/fix_compilation_2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=12a21d99ab97b017bfc673cf9b6cbf6a4a66eef5;p=dealii.git Merge pull request #18645 from tamiko/fix_compilation_2 ArborX: fix compilation with versions < 2 --- 12a21d99ab97b017bfc673cf9b6cbf6a4a66eef5