diff --git a/libs/mpi b/libs/mpi index 93546a4339..a12d6c8378 160000 --- a/libs/mpi +++ b/libs/mpi @@ -1 +1 @@ -Subproject commit 93546a4339037e8f23b679694c7551630c7f56eb +Subproject commit a12d6c8378a7ea140910840c6885255fd4b34891