[Pkg-openmpi-maintainers] Bug#753001: openmpi: New upstream version 1.8 available

[Ghislain Vaillant]

Version 1.8.2 is out, which brings a good list of bug fixes.

http://www.open-mpi.org/community/lists/announce/2014/08/0063.php

In the changelog, this line :
- Close many memory leaks to achieve valgrind-clean operation
suggests bug #732160 may be addressed.

How large an effort would it be to update openmpi from the 1.6 to the 
1.8 series ?


Ghis