Skip to content

Conversation

basselalaraaj
Copy link

fixes #5731

@vrann
Copy link
Contributor

vrann commented Mar 25, 2017

@basselalaraaj would you mind to re-create this PR from the new branch?

@okorshenko
Copy link
Contributor

PR is restored in #9204 via patch

@okorshenko okorshenko self-assigned this Apr 11, 2017
@okorshenko okorshenko added this to the April 2017 milestone Apr 11, 2017
@okorshenko
Copy link
Contributor

@basselalaraaj thank you for your contribution! Your pull request has been merged

@okorshenko okorshenko closed this Apr 12, 2017
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.

4 participants