Processed: bug 711943 is forwarded to http://release.debian.org/transitions/html/openmpi1.6.html

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> forwarded 711943 http://release.debian.org/transitions/html/openmpi1.6.html
Bug #711943 [release.debian.org] transition: openmpi
Set Bug forwarded-to-address to 'http://release.debian.org/transitions/html/openmpi1.6.html'.
> thanks
Stopping processing here.

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