Skip to content

Conversation

saghul
Copy link
Contributor

@saghul saghul commented Dec 19, 2023

Follow-up to #195

@saghul saghul requested a review from bnoordhuis December 19, 2023 22:19
@saghul saghul merged commit d1852b5 into master Dec 20, 2023
@saghul saghul deleted the rm-unneeded-casts branch December 20, 2023 08:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants