[Pkg-openmpi-maintainers] Bug#493875: Bug#493875: libopenmpi-dev lacks /usr/include/openmpi

[Manuel Prinz]

Am Dienstag, den 05.08.2008, 17:46 +0200 schrieb Manuel Prinz:
> Hi Andreas!
     ^^^^^^^

I meant: Hi Alexander!

It's definitely too hot in the office... Sorry! :/

Best regards
Manuel
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: Dies ist ein digital signierter Nachrichtenteil
Url : http://lists.alioth.debian.org/pipermail/pkg-openmpi-maintainers/attachments/20080805/10db5cae/attachment-0002.pgp