Skip to content

Conversation

@juliusknorr
Copy link
Member

backport of #123

@MorrisJobke
Copy link
Member

👍

@MorrisJobke MorrisJobke merged commit 87559b9 into stable10 Aug 12, 2016
@MorrisJobke MorrisJobke deleted the stable10-backport123 branch August 12, 2016 11:43
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.

3 participants