Skip to content

Conversation

@kke
Copy link
Contributor

@kke kke commented Sep 30, 2019

@kke kke added the chore label Sep 30, 2019
@kke kke merged commit 3b25f7c into master Sep 30, 2019
@kke kke deleted the release/0.4.3 branch September 30, 2019 05:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants