Processed: Re: Bug#814936: transition: mpi-defaults

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing control commands:

> forwarded -1 https://release.debian.org/transitions/html/mpi-defaults.html
Bug #814936 [release.debian.org] transition: mpi-defaults
Set Bug forwarded-to-address to 'https://release.debian.org/transitions/html/mpi-defaults.html'.
> tags -1 confirmed
Bug #814936 [release.debian.org] transition: mpi-defaults
Ignoring request to alter tags of bug #814936 to the same tags previously set

-- 
814936: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=814936
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems