From: Rene Gassmoeller Date: Wed, 19 Mar 2025 09:06:16 +0000 (+0100) Subject: Merge pull request #18247 from bangerth/kokkos X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5d9755b6c81b5995ca5badb5411ad7ea9613a764;p=dealii.git Merge pull request #18247 from bangerth/kokkos Add necessary Kokkos header includes. --- 5d9755b6c81b5995ca5badb5411ad7ea9613a764