M.-A. Lemburg wrote: >> http://bugs.python.org/issue1231081 platform.processor() could be smarter
Thanks, Marc-Andre! If anyone else feels like closing some of these issues, go ahead (no need to report back, I'll find it out later). My rather bureaucratic approach is just to avoid a possible trigger-happiness on my part :) Daniel _______________________________________________ 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