[Pkg-openmpi-maintainers] Processed: severity
Debian Bug Tracking System
owner at bugs.debian.org
Tue Jan 9 19:15:07 UTC 2018
Processing commands for control at bugs.debian.org:
> severity 886644 wishlist
Bug #886644 [openmpi] openmpi: alternatives for libmpi*.so are not multiarch-safe
Severity set to 'wishlist' from 'important'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
886644: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=886644
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
More information about the Pkg-openmpi-maintainers
mailing list