Reported as http://bugs.python.org/issue18307
On Wed, Jun 26, 2013 at 12:19 AM, R. David Murray <rdmur...@bitdance.com> wrote: > Please file this as a bug report on bugs.python.org so that it doesn't > get lost. > > See also http://bugs.python.org/issue13328 (which looks like a different bug > but could also be causing you problems). > > --David > _______________________________________________ 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
