Skip to content

Conversation

@ChristophWurst
Copy link
Owner

@MorrisJobke this one is for you

@ChristophWurst ChristophWurst self-assigned this Mar 14, 2019
@ChristophWurst ChristophWurst merged commit 4296a51 into master Mar 14, 2019
@bors bors bot deleted the feature/package-shipped branch March 14, 2019 16:22
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