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