[Pkg-openmpi-maintainers] Bug#646003: closing 646003

Manuel Prinz manuel at debian.org
Sat Mar 1 22:46:44 UTC 2014

Previous message: [Pkg-openmpi-maintainers] Bug#646003: openmpi-checkpoint: Bug #611454 not fixed in squeeze
Next message: [Pkg-openmpi-maintainers] Processed: tagging 675115
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

close 646003 
thanks

Previous message: [Pkg-openmpi-maintainers] Bug#646003: openmpi-checkpoint: Bug #611454 not fixed in squeeze
Next message: [Pkg-openmpi-maintainers] Processed: tagging 675115
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-openmpi-maintainers mailing list