Merge openmpi (2.1.1-6+rpi1) import into refs/heads/workingbranch
authorPeter Michael Green <plugwash@raspbian.org>
Wed, 5 Jul 2017 00:52:53 +0000 (01:52 +0100)
committerPeter Michael Green <plugwash@raspbian.org>
Wed, 5 Jul 2017 00:52:53 +0000 (01:52 +0100)
commit6b436cea50adabbc2f57c8cf7c06bfa8890888c8
tree81ecb43d2e0716df76f5123b77f535ce43a5e36c
parentdc3cadb0fbee8a9397bc0b43043df2cc378b309e
parentdc4f873f88fa93496f7dbe0044828424316adbb0
Merge openmpi (2.1.1-6+rpi1) import into refs/heads/workingbranch