Processed: block 836917 with 837012

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> block 836917 with 837012
Bug #836917 [release.debian.org] transition: openmpi
836917 was blocked by: 835680 837058 831164 825934 811651 811907 812036 817690 837055
836917 was not blocking any bugs.
Added blocking bug(s) of 836917: 837012
> thanks
Stopping processing here.

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