Bug#459025: [Pkg-openmpi-maintainers] Bug#459070: /usr/include/openmpi is missing (mpi.h isn't in /usr/include/**)

[Manuel Prinz]

Am Freitag, den 04.01.2008, 16:49 +0100 schrieb Ondrej Certik:
> Actually, the mpi.h is in /usr/include/mpi, not /usr/include/openmpi,
> as I mistakenly thought.

That happens. Are you fine with me closing the bug?

Best regards
Manuel

signature.asc
Description: Dies ist ein digital signierter Nachrichtenteil