[Pkg-openmpi-maintainers] Bug#705110: closing 705110
Manuel Prinz
manuel at debian.org
Sat Mar 1 21:12:51 UTC 2014
close 705110 1.6.5-1
thanks
This fix seems to be present in the 1.6.5 tarball.
Best regards,
Manuel
More information about the Pkg-openmpi-maintainers
mailing list