Skip to content

Conversation

almindor
Copy link
Contributor

No description provided.

@almindor almindor requested a review from a team as a code owner July 30, 2021 05:35
Copy link
Member

@Disasm Disasm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great! Thank you!
bors r+

@bors bors bot merged commit 498924d into master Jul 30, 2021
@bors bors bot deleted the v0.7.0 branch July 30, 2021 05:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants