Processing commands for cont...@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 ow...@bugs.debian.org with problems
