Skip to content

Conversation

@rjhenry
Copy link
Collaborator

@rjhenry rjhenry commented Nov 20, 2023

No description provided.

@rjhenry rjhenry merged commit 3757d9a into master Nov 20, 2023
@delete-merged-branch delete-merged-branch bot deleted the release branch November 20, 2023 14:49
@ssddanbrown
Copy link
Contributor

Thanks for the speed here @rjhenry, especially on ones like this where a vulnerability is made public ❤️

@rjhenry
Copy link
Collaborator Author

rjhenry commented Nov 21, 2023

You got lucky - I was away and happened to check my mail and saw @reddexx's PR and your release notes!

@ssddanbrown
Copy link
Contributor

Ah, didn't see that other PR, Thank you too @reddexx!

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