"Aahz" <a...@pythoncraft.com> wrote: > Frank Millman <fr...@chagford.com> wrote: >> >>Is this worth reporting, if it has not been reported already? > > Defiitely report it.
Thanks, Aahz. I took the lack of responses to indicate that there was no reason *not* to report it, so I reported it on 24th December (issue 7571), and it was fixed on the same day (r77038). Frank -- http://mail.python.org/mailman/listinfo/python-list
