[Pkg-openmpi-maintainers] Processed: found 658715 in 1.5.4-2~exp2

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 658715 1.5.4-2~exp2
Bug #658715 [openmpi-checkpoint] openmpi-checkpoint: fails to upgrade from 'sid' - trying to overwrite ...
Bug Marked as found in versions openmpi/1.5.4-2~exp2.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
658715: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=658715
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems