This repository has been archived by the owner on Feb 18, 2024. It is now read-only.

Remove un-needed `unsafe` #756

Merged

jorgecarleitao merged 1 commit into main from unsafeless

Jan 11, 2022

Merged

Remove un-needed `unsafe` #756

Removed unneeded unsafe

Workflow runs completed with no jobs