[Pkg-openmpi-maintainers] optional/extra overrides, again

Manuel Prinz debian at pinguinkiste.de
Thu Aug 2 13:49:14 UTC 2007


> I think it is just a question of emailing the archive maintainers and
> sugegsting that they also lower to extra. Would you have time for
> that?

Tomorrow or even today. It's on my list.

Best regards
Manuel




More information about the Pkg-openmpi-maintainers mailing list