Skip to content

Conversation

anonrig
Copy link
Member

@anonrig anonrig commented May 12, 2023

No description provided.

@anonrig anonrig requested review from lemire and miguelteixeiraa May 12, 2023 21:42
@anonrig anonrig merged commit 349d926 into main May 12, 2023
@anonrig anonrig deleted the security-fixes branch May 12, 2023 22: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.

3 participants