Re: [Python-Dev] correction of a bug