Skip to content

Conversation

uek182105
Copy link

No description provided.

@javiereguiluz
Copy link
Member

@uek182105 thanks for creating this pull request. Although it's not wrong, my question would be: is it worth it to introduce this? Do we really reuse this logic that much?

@xabbuh
Copy link
Member

xabbuh commented Feb 1, 2016

This was actually done in #11311.

@uek182105 Not sure what you wanted to do, but a pull request should rather be based on your on fork to which you are able to push changes.

@xabbuh xabbuh closed this Feb 1, 2016
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