Skip to content

Conversation

@janniclas
Copy link
Contributor

merge the release back into the develop branch.

@janniclas janniclas requested a review from bhermann April 1, 2019 06:24
@ghost ghost assigned janniclas Apr 1, 2019
@ghost ghost added the review label Apr 1, 2019
@bhermann bhermann merged commit 535d874 into develop Apr 7, 2019
@ghost ghost removed the review label Apr 7, 2019
@janniclas janniclas deleted the release/1.0.0 branch April 9, 2019 06:07
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.

3 participants