Processed: transition: openmpi

2016-09-07 Thread Debian Bug Tracking System
Processing control commands: > forwarded -1 https://release.debian.org/transitions/html/auto-openmpi.html Bug #836917 [release.debian.org] transition: openmpi Set Bug forwarded-to-address to 'https://release.debian.org/transitions/html/auto-openmpi.html'. -- 836917:

Processed: transition: openmpi

2016-01-29 Thread Debian Bug Tracking System
Processing control commands: > forwarded -1 https://release.debian.org/transitions/html/auto-openmpi.html Bug #813128 [release.debian.org] transition: openmpi Set Bug forwarded-to-address to 'https://release.debian.org/transitions/html/auto-openmpi.html'. -- 813128: