Skip to content

Conversation

addaleax
Copy link
Collaborator

No description provided.

Copy link
Contributor

@rose-m rose-m left a comment

Choose a reason for hiding this comment

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

👍

@addaleax addaleax merged commit 94ca4d9 into main Aug 11, 2021
@addaleax addaleax deleted the 537-dev branch August 11, 2021 10:56
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