[Pkg-openmpi-maintainers] Processed: tagging 579505, severity of 579505 is wishlist

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 579505 + upstream
Bug #579505 [openmpi] openmpi should use the atomic builtins provided by GCC
Added tag(s) upstream.
> severity 579505 wishlist
Bug #579505 [openmpi] openmpi should use the atomic builtins provided by GCC
Severity set to 'wishlist' from 'normal'

> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
579505: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=579505
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems