[Pkg-openmpi-maintainers] Bug#673111: closing 673111
Manuel Prinz
manuel at debian.org
Sat Mar 1 20:23:02 UTC 2014
close 673111 1.6-1~exp1
thanks
This seems to be the first upload where the bug was fixed.
Best regards,
Manuel
More information about the Pkg-openmpi-maintainers
mailing list