From: Alastair McKinstry <mckinstry@debian.org>
Date: Wed, 18 Dec 2019 13:41:29 +0000 (+0000)
Subject: Merge openmpi (4.0.2-5) import into refs/heads/workingbranch
X-Git-Tag: archive/raspbian/4.0.2-5+rpi1^2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=5caca6531ededa44000bb271f58895e2e57d7db3;p=openmpi.git

Merge openmpi (4.0.2-5) import into refs/heads/workingbranch
---

5caca6531ededa44000bb271f58895e2e57d7db3