Skip to content

Conversation

@juliusknorr
Copy link
Member

backport of #8983

@MorrisJobke MorrisJobke merged commit 4f5d057 into stable13 Apr 3, 2018
@MorrisJobke MorrisJobke deleted the stable13-8983 branch April 3, 2018 08:09
@MorrisJobke MorrisJobke mentioned this pull request Apr 18, 2018
11 tasks
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.

5 participants