Processed: block 711943 with 713208

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> block 711943 with 713208
Bug #711943 [release.debian.org] transition: openmpi
711943 was blocked by: 720378 674590 720409 693639 720419
711943 was not blocking any bugs.
Added blocking bug(s) of 711943: 713208
> 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 at bugs.debian.org with problems