SIGN IN SIGN UP

Optimize offset_ptr assignment from raw pointer. Previous implementation used a conversion to offset_ptr leading to redundant operations.

I
Ion Gaztañaga committed
a53b1093d82d1ac196e9e5987787cd56dc835582
Parent: 6c1db51