Skip to content

Add notice and unsound#9

Merged
pinkforest merged 1 commit intomainfrom
add-notice-unsound
Apr 3, 2023
Merged

Add notice and unsound#9
pinkforest merged 1 commit intomainfrom
add-notice-unsound

Conversation

@pinkforest
Copy link
Copy Markdown

@pinkforest pinkforest commented Apr 3, 2023

Fixes #8

@pinkforest pinkforest merged commit 7cb7a4e into main Apr 3, 2023
@tarcieri tarcieri deleted the add-notice-unsound branch September 23, 2024 14:24
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.

Warning: Unknown warning kind unsound found, please, file a bug

1 participant