GitHub user jorgebay opened a pull request:
https://github.com/apache/tinkerpop/pull/852
TINKERPOP-1944 Export DriverRemoteConnection
Export `DriverRemoteConnection`.
https://issues.apache.org/jira/browse/TINKERPOP-1944
VOTE +1
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/apache/tinkerpop TINKERPOP-1944
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/tinkerpop/pull/852.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #852
----
commit d037ef7049f36410caba9362bd60cb8dfc04f857
Author: Jorge Bay Gondra <jorgebaygondra@...>
Date: 2018-04-23T13:13:32Z
TINKERPOP-1944 Export DriverRemoteConnection
----
---
