[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