Skip to content

Conversation

@MorrisJobke
Copy link
Member

Thanks to @michag86

@mention-bot
Copy link

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

@MorrisJobke
Copy link
Member Author

As this fix is from @michag86 : I tested it and it works 👍

@juliusknorr juliusknorr added 4. to release Ready to be released and/or waiting for tests to finish 3. to review Waiting for reviews and removed 3. to review Waiting for reviews 4. to release Ready to be released and/or waiting for tests to finish labels May 19, 2017
@LukasReschke LukasReschke merged commit 6e2139f into stable12 May 19, 2017
@LukasReschke LukasReschke deleted the stable12-4974 branch May 19, 2017 19:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants