[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Moving contrib and non-free of master.debian.org

Wichert proposes:

> The ballot will contain the options:
> 1) create nonfree.debian.org domain
> 2) create official.debian.org domain
> 3) keep the current situation
> 4) further discussion

It would be nice if there was a 1+2 option like

5) create nonfree.debian.org and official.debian.org domains and changing 
   debian.org to be a short front page explaining the choice.


Kristoffer Høgsbro Rose, phd, prof.associé  <http://www.ens-lyon.fr/~krisrose>
addr. LIP, Ecole Normale Supérieure de Lyon, 46 Allée d'Italie, F-69364 Lyon 7
phone +33(0)4 7272 8642, fax +33(0)4 7272 8080   <Kristoffer.Rose@ENS-Lyon.FR>
pgp f-p: A4D3 5BD7 3EC5 7CA2 924E D21D 126B B8E0   <krisrose@{debian,tug}.org>

Reply to: