[Pkg-openmpi-maintainers] Bug#464795: it works now

Ondrej Certik ondrej at certik.cz
Sat Feb 16 11:40:14 UTC 2008


Hi, 

thanks for the fix, everything works now.

Ondrej







More information about the Pkg-openmpi-maintainers mailing list