Re: [Python-Dev] [#527371] sre bug/patch