Skip to content

Conversation

@release-please
Copy link
Contributor

@release-please release-please bot commented Aug 1, 2023

🤖 I have created a release beep boop

0.7.2 (2023-08-01)

Bug Fixes


This PR was generated with Release Please. See documentation.

@dpebot
Copy link
Collaborator

dpebot commented Aug 1, 2023

/gcbrun

@glasnt glasnt merged commit 46577f3 into main Aug 1, 2023
@glasnt glasnt deleted the release-please--branches--main branch August 1, 2023 21:52
@release-please
Copy link
Contributor Author

release-please bot commented Aug 1, 2023

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants