Skip to content

Conversation

@comradekingu
Copy link
Contributor

No description provided.

@mention-bot
Copy link

@comradekingu, thanks for your PR! By analyzing the history of the files in this pull request, we identified @jmaciasportela, @icewind1991 and @noveens to be potential reviewers.

@MorrisJobke MorrisJobke merged commit 79cf7d6 into master Jul 18, 2017
@MorrisJobke MorrisJobke deleted the comradekingu-patch-5 branch July 18, 2017 06:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

3. to review Waiting for reviews

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants