Skip to content

Conversation

@mkurz
Copy link
Member

@mkurz mkurz commented May 20, 2023

@hseeberger hseeberger merged commit 9c88333 into sbt:master May 22, 2023
@mkurz mkurz deleted the change_groupId branch May 22, 2023 18:02
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.

2 participants