[Pkg-openmpi-maintainers] Bug#444432: libopenmpi-dev: duplicate opalcc man page

[Manuel Prinz]

Am Freitag, den 28.09.2007, 16:48 +0200 schrieb Manuel Prinz:
> [packaging blabla]

Please ignore the last mail. Seems like I had the right idea, as Dirk
stated in his reply to the bug.

Best regards
Manuel