R. David Murray wrote: > python.org bugs are *not* reported on bugs.python.org. I don't remember > where they are reported...it's on github somewhere I think. > > The fact that it isn't obvious may be a good candidate for a bug > report :) But... which bug tracker should it be reported to? :-) -- Greg