From eed0d23c1599af68d82f5ea87bbe0289a2d8340e Mon Sep 17 00:00:00 2001 From: boost-commitbot Date: Wed, 12 Feb 2025 09:03:40 +0000 Subject: [PATCH] Update mpi from develop --- libs/mpi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libs/mpi b/libs/mpi index 819d0dd280..7b302e0260 160000 --- a/libs/mpi +++ b/libs/mpi @@ -1 +1 @@ -Subproject commit 819d0dd2801a71b6e040457b728bbd1b6e990860 +Subproject commit 7b302e0260f86c733e2a3d01030eb5483f6bc71e