From: Alastair McKinstry <mckinstry@debian.org>
Date: Mon, 8 Oct 2018 10:44:08 +0000 (+0100)
Subject: Merge openmpi (3.1.2-6) import into refs/heads/workingbranch
X-Git-Tag: archive/raspbian/3.1.2-6+rpi1^2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=08768f7230457a6e5da823d572d57b996d5a36a8;p=openmpi.git

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

08768f7230457a6e5da823d572d57b996d5a36a8