Skip to content

Conversation

@dimpase
Copy link
Contributor

@dimpase dimpase commented Apr 14, 2019

@jdemeyer
Copy link
Contributor

This needs to be rebased to latest master.

@jdemeyer
Copy link
Contributor

Or maybe it should be closed because of #13773?

@dimpase
Copy link
Contributor Author

dimpase commented Jun 19, 2019

@ned-deily
Copy link
Member

Thanks again for the PR but, as discussed on the bug tracker, it doesn't cover all of the necessary use cases so we have adopted a different solution.

@ned-deily ned-deily closed this Jun 19, 2019
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.

6 participants