From: Daniel Arndt <arndtd@ornl.gov>
Date: Tue, 23 May 2023 20:52:55 +0000 (-0400)
Subject: Merge pull request #15250 from Rombur/kokkos_cleanup
X-Git-Tag: v9.5.0-rc1~201
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cb01f5a289a72600c296c5f4376dcfc3ab22d9c6;p=dealii.git

Merge pull request #15250 from Rombur/kokkos_cleanup
---

cb01f5a289a72600c296c5f4376dcfc3ab22d9c6