Processing commands for cont...@bugs.debian.org: > unblock 813128 with 813731 Bug #813128 [release.debian.org] transition: openmpi 813128 was blocked by: 813725 813722 813731 813724 813128 was not blocking any bugs. Removed blocking bug(s) of 813128: 813731 > unblock 813542 with 813731 Bug #813542 [release.debian.org] transition: nvidia-cuda-toolkit 813542 was blocked by: 813731 813542 was not blocking any bugs. Removed blocking bug(s) of 813542: 813731 > thanks Stopping processing here.
Please contact me if you need assistance. -- 813128: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=813128 813542: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=813542 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
