Skip to content

Conversation

@aarmoa
Copy link
Collaborator

@aarmoa aarmoa commented Jul 12, 2023

  • Trivial PR to synchronize dev branch with master after the release for version 0.7

@aarmoa aarmoa merged commit 308b5fc into dev Jul 12, 2023
@aarmoa aarmoa deleted the fix/rebase_dev_after_0_7_release branch July 12, 2023 15:25
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