[Pkg-openmpi-maintainers] Wrong patch tag in #435581?

Manuel Prinz debian at pinguinkiste.de
Wed Aug 15 10:53:39 UTC 2007


Hi all,

bug #435581 is tagged with "patch" but I can't see any. Am I missing
something? If not, I'll remove it.

Best regards
Manuel




More information about the Pkg-openmpi-maintainers mailing list