Processed: downgrading severity as there is a workaround
Debian Bug Tracking System
owner at bugs.debian.org
Wed Jan 14 08:15:09 UTC 2015
Processing commands for control at bugs.debian.org:
> severity 775225 normal
Bug #775225 [code-aster-mpi-engine] code-aster-mpi-engine: Segmentation fault code: Address not mapped
Severity set to 'normal' from 'grave'
> stop
Stopping processing here.
Please contact me if you need assistance.
--
775225: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=775225
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
More information about the debian-science-maintainers
mailing list