[Pkg-openmpi-maintainers] Processed: Re: libopenmpi-dev: Please install pkg-config files (*.pc) into /usr/lib/pkgconfig

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 734096 + patch
Bug #734096 [libopenmpi-dev] libopenmpi-dev: Please install pkg-config files (*.pc) into /usr/lib/pkgconfig
Added tag(s) patch.
> thanks
Stopping processing here.

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