From: Alastair McKinstry <mckinstry@debian.org>
Date: Tue, 28 Aug 2018 18:07:54 +0000 (+0100)
Subject: Merge openmpi (3.1.2-1) import into refs/heads/workingbranch
X-Git-Tag: archive/raspbian/3.1.2-1+rpi1^2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=4ae1fc79e2bfa91f2566e6ba664394ec946e6781;p=openmpi.git

Merge openmpi (3.1.2-1) import into refs/heads/workingbranch
---

4ae1fc79e2bfa91f2566e6ba664394ec946e6781