Github user lewismc commented on the pull request:
https://github.com/apache/incubator-tinkerpop/pull/317
> @lewismc given that the fix for this ultimately came from kuppitz, i
think he should go ahead and just do a PR from his end. thanks for your effort
on this and helping to limit the scope of this issue to simplify our way to a
solution. i guess we can now re-visit your other PR that helped spawn this one
and get that merged. I will probably look to deal with that tomorrow. If you
feel like closing this from your end, cool - otherwise i'll just close it
tomorrow. thanks again!
Thank you v much for review and discussion. Glad to hear that the issue is
driving towards a resolution :)
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---