From 57b4ecf0622c754d7ddfb3880d7b899be9d71e69 Mon Sep 17 00:00:00 2001 From: Automated Commit Date: Sun, 7 Oct 2018 17:30:05 +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 6f4a2eafd9..12796d723c 160000 --- a/libs/mpi +++ b/libs/mpi @@ -1 +1 @@ -Subproject commit 6f4a2eafd9bbf2cb596ef2d52db9b4ad24b84eb0 +Subproject commit 12796d723c0231560c14ffc34ad14a2c8be1535b