Processing commands for cont...@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 ow...@bugs.debian.org with problems -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
