Please do not reply directly to this email. All additional comments should be made in the comments box of this bug report.
Summary: openmpi pkgconfig bad and header files mislocated
https://bugzilla.redhat.com/show_bug.cgi?id=221343
p.van.egdom@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |p.van.egdom@gmail.com Status|NEEDINFO |CLOSED Resolution| |RAWHIDE Flag|needinfo? |
------- Additional Comments From p.van.egdom@gmail.com 2008-05-04 07:24 EST ------- Thank you for the bug report. Closing bug as per comment #2.
triage@lists.fedoraproject.org