Bug#753001: Bug #753001: openmpi: New upstream version 1.8 available

[Michael Banck]

Alastair,

now that you took over maintainership and started fixing bugs in
unstable, will you update OpenMPI to 1.8 soon?


Michael