Processing commands for cont...@bugs.debian.org: > reassign 850229 dune-grid Bug #850229 [openmpi-bin] openmpi-bin: default for oversubscription changed Bug #850559 [openmpi-bin] openmpi-bin: default for oversubscription changed Bug reassigned from package 'openmpi-bin' to 'dune-grid'. Bug reassigned from package 'openmpi-bin' to 'dune-grid'. No longer marked as found in versions openmpi/2.0.2~git.20161225-8. No longer marked as found in versions openmpi/2.0.2~git.20161225-8. 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 > 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
