Skip to content

Conversation

@DavidS-ovm
Copy link
Contributor

As discussed with Dylan earlier today, this will make sure the package name and its contents are aligned, and allow for more added functionality later on.

@DavidS-ovm DavidS-ovm enabled auto-merge July 19, 2024 13:29
@DavidS-ovm DavidS-ovm merged commit 548ed70 into main Jul 19, 2024
@DavidS-ovm DavidS-ovm deleted the rename branch July 19, 2024 13:34
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