New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Change `unsafe_` to `unsafe` #220

Merged

gjtorikian merged 2 commits into main from fix-options

Jan 18, 2023

Owner

gjtorikian commented Jan 17, 2023

Change of heart for #219. Fine, unsafe instead of unsafe_.

gjtorikian added 2 commits

January 17, 2023 13:47


          test DLs

d7c2a65


          Rename unsafe_ to unsafe

e6a52ff

gjtorikian merged commit a734392 into main

gjtorikian deleted the fix-options branch

January 18, 2023 00:29

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment