Re: [pypy-dev] time for a new release