Processing commands for [email protected]: > severity 850559 serious Bug #850559 [openmpi-bin] openmpi-bin: default for oversubscription changed Bug #850229 [openmpi-bin] openmpi-bin: default for oversubscription changed Severity set to 'serious' from 'important' Severity set to 'serious' from 'important' > 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 [email protected] with problems
