Merge openmpi (2.0.2~git.20161225-8) import into refs/heads/workingbranch
authorAlastair McKinstry <mckinstry@debian.org>
Sat, 17 Dec 2016 14:17:24 +0000 (14:17 +0000)
committerAlastair McKinstry <mckinstry@debian.org>
Sat, 17 Dec 2016 14:17:24 +0000 (14:17 +0000)
commit970c5275a0c14f2cacadfc514d10c6a6e2c0151a
treee07cf8d27210e377f32562bca9917e78bf57df7d
parent02f8673e2e9b550d41e5609b00549a7ed3f26f8a
parentd4aaf361c25dc14e7908dfad52589194113b412c
Merge openmpi (2.0.2~git.20161225-8) import into refs/heads/workingbranch