From 1bec1b56daf46483bd744527784a234b00c8f34d Mon Sep 17 00:00:00 2001 From: Automated Commit Date: Sun, 24 Nov 2019 18:00:02 +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 0038915c44..18739e6ad5 160000 --- a/libs/mpi +++ b/libs/mpi @@ -1 +1 @@ -Subproject commit 0038915c4426ec17f02d82284141a73aee9dd6a0 +Subproject commit 18739e6ad5257f705170b121bf4623c5f5791976