[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