Will docs.python.org be redirected to www.python.org/doc?

I think I am not the only person on the planet that had been using
docs.python.org for a long time now to get to the documentation. (And some
links are now broken @ docs.python.org, so it seems all the more logical to
make such a redirect. docs.python.org is the 3rd result from Google too by the
way.)

-- 
Jeroen Ruigrok van der Werven <asmodai(-at-)in-nomine.org> / asmodai
イェルーン ラウフロック ヴァン デル ウェルヴェン
http://www.in-nomine.org/ | http://www.rangaku.org/
Want ik kan niet leven zonder alles of niets...
_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
http://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: 
http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com

Reply via email to