Skip to content

Conversation

slachiewicz
Copy link
Member

No description provided.

@slachiewicz slachiewicz added the dependencies Pull requests that update a dependency file label May 8, 2023
@slachiewicz slachiewicz merged commit dad9f18 into master May 8, 2023
@slachiewicz slachiewicz deleted the junit5 branch August 6, 2023 12:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file maintenance
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants