Re: [Python-Dev] bugs.pythong.org bug?