improve performance of successful int extract by ~30% by avoiding calls to __index__
where redundant
#8077
The logs for this run have expired and are no longer available.
Loading