builtin_zip(): Take a good guess at how big the result list will be,
and allocate it in one gulp. This isn't a bugfix, it's just a minor optimization that may or may not pay off.
Showing
Please
register
or
sign in
to comment
and allocate it in one gulp. This isn't a bugfix, it's just a minor optimization that may or may not pay off.