[Pkg-openmpi-maintainers] Processed: [openmpi] Fixed upstream

[Debian Bug Tracking System]

Processing control commands:

> tags -1 fixed-upstream
Bug #579505 [openmpi] openmpi should use the atomic builtins provided by GCC
Added tag(s) fixed-upstream.

-- 
579505: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=579505
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems