Skip to content

Conversation

@Mic92
Copy link
Member

@Mic92 Mic92 commented Sep 19, 2021

not as pretty as I hopped it would be...

@edolstra edolstra merged commit a0151ef into master Oct 26, 2021
@edolstra edolstra deleted the less-raw-pointer branch October 26, 2021 09:22
@haampie haampie mentioned this pull request Nov 26, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants