> I asked some folks on the infrastructure team and the last they heard > from him was 11 April.
Martin replied on issue17883 on May 10. _______________________________________________ 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
