diff --git a/libs/mpi b/libs/mpi index e3b0d08c7e..9d4e00a3c8 160000 --- a/libs/mpi +++ b/libs/mpi @@ -1 +1 @@ -Subproject commit e3b0d08c7e1cf1d4df2ce348f65dd2fa59d97cb2 +Subproject commit 9d4e00a3c80f9c6cec70e830edd79b882e982ee5