From 591a97e80cf7caae3e88b426b9e572424d64902b Mon Sep 17 00:00:00 2001 From: Automated Commit Date: Sun, 7 Oct 2018 14:45:21 +0000 Subject: Update mpi from master --- libs/mpi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'libs/mpi') diff --git a/libs/mpi b/libs/mpi index b4c3f40556..5f9d87f685 160000 --- a/libs/mpi +++ b/libs/mpi @@ -1 +1 @@ -Subproject commit b4c3f405562f031ea006cfd1ff7037cb5d8e9577 +Subproject commit 5f9d87f68555815375b1a30cf0e1a9373f9fc3fa -- cgit v1.2.1