Skip to content

Conversation

@MorrisJobke
Copy link
Contributor

Signed-off-by: Morris Jobke <[email protected]>
@mention-bot
Copy link

@MorrisJobke, thanks for your PR! By analyzing the history of the files in this pull request, we identified @gnarula, @jancborchardt and @butonic to be potential reviewers.

@scrutinizer-notifier
Copy link

The inspection completed: No new issues

@paulijar
Copy link
Collaborator

👍

@MorrisJobke MorrisJobke merged commit 2142951 into master Nov 15, 2016
@MorrisJobke MorrisJobke deleted the 11 branch November 15, 2016 21:41
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