[Pkg-openmpi-maintainers] Processed: your mail
Debian Bug Tracking System
owner at bugs.debian.org
Thu Nov 24 08:57:06 UTC 2011
Processing commands for control at bugs.debian.org:
> reassign 619998 openmpi
Bug #619998 [libopenmpi-dev] fresh upstream (1.5.3) is available with bugfixes
Bug reassigned from package 'libopenmpi-dev' to 'openmpi'.
Bug No longer marked as found in versions openmpi/1.4.3-2.
> forcemerge 619998 648969
Bug#619998: fresh upstream (1.5.3) is available with bugfixes
Bug#648969: Please update to latest upstream version
Forcibly Merged 619998 648969.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
648969: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=648969
619998: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=619998
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
More information about the Pkg-openmpi-maintainers
mailing list