Jarkko Hietaniemi <[EMAIL PROTECTED]> wrote:

> 2**32 is really not *that* big, these days...

Applied, thanks. Plus #30894 and *one* fix of #30896 issues.

leo

Reply via email to