[Pkg-openmpi-maintainers] Bug#673111: openmpi-checkpoint: files forgotten/replaced by symlink

Manuel Prinz manuel at debian.org
Sat Mar 1 20:07:21 UTC 2014

Previous message: [Pkg-openmpi-maintainers] Processed: tagging 736675
Next message: [Pkg-openmpi-maintainers] Processed: fixed 673111 in 1.6-1~exp1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi Matthieu,

thanks for the report and the patch! It seems to be fixed in current
versions. I'll therefore close the bug.

Best regards,

  Manuel

Previous message: [Pkg-openmpi-maintainers] Processed: tagging 736675
Next message: [Pkg-openmpi-maintainers] Processed: fixed 673111 in 1.6-1~exp1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-openmpi-maintainers mailing list