Closed sol closed 10 months ago
@andrewthad @konsumlamm ping.
I don't have any experience with ForeignPtr, so I can't really comment on this.
ForeignPtr
This looks fine to me. Merging.
@andrewthad @konsumlamm ping.