Processed: reassign 850229 to src:dune-common, severity of 850229 is minor, tagging 850229

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 850229 src:dune-common
Bug #850229 [dune-grid] openmpi-bin: default for oversubscription changed
Bug #850559 [dune-grid] openmpi-bin: default for oversubscription changed
Bug reassigned from package 'dune-grid' to 'src:dune-common'.
Bug reassigned from package 'dune-grid' to 'src:dune-common'.
Ignoring request to alter found versions of bug #850229 to the same values previously set
Ignoring request to alter found versions of bug #850559 to the same values previously set
Ignoring request to alter fixed versions of bug #850229 to the same values previously set
Ignoring request to alter fixed versions of bug #850559 to the same values previously set
> severity 850229 minor
Bug #850229 [src:dune-common] openmpi-bin: default for oversubscription changed
Bug #850559 [src:dune-common] openmpi-bin: default for oversubscription changed
Severity set to 'minor' from 'serious'
Severity set to 'minor' from 'serious'
> tags 850229 + pending
Bug #850229 [src:dune-common] openmpi-bin: default for oversubscription changed
Bug #850559 [src:dune-common] openmpi-bin: default for oversubscription changed
Added tag(s) pending.
Added tag(s) pending.
> thanks
Stopping processing here.

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