[Pkg-openmpi-maintainers] Processed: Re: Bug#782653: openmpi: Fails to build from source

[Debian Bug Tracking System]

Processing control commands:

> tag -1 unreproducible, moreinfo
Bug #782653 [src:openmpi] openmpi: Fails to build from source
Added tag(s) unreproducible and moreinfo.

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