Skip to content

Conversation

@threeal
Copy link
Owner

@threeal threeal commented Jan 3, 2024

This pull request simply bumps Catch2 to version 3.5.1.

@threeal threeal added the chore label Jan 3, 2024
@threeal threeal added this to the Version 1.0.0 milestone Jan 3, 2024
@threeal threeal self-assigned this Jan 3, 2024
@threeal threeal marked this pull request as ready for review January 3, 2024 14:27
@threeal threeal merged commit 9249c11 into main Jan 4, 2024
@threeal threeal deleted the bump-catch2-3.5.1 branch January 4, 2024 04:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants