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

[Manuel Prinz]

tags 734096 + pending
thanks

On Sun, Jan 05, 2014 at 06:11:27PM +0100, Gilles Filippini wrote:
> Please find attached a patch proposal.

Thank you for the patch! I included it in SVN and it will be part of
the next upload.

Best regards,

  Manuel