tinkerpop-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From FlorianHockmann <...@git.apache.org>
Subject [GitHub] tinkerpop issue #925: TINKERPOP-2026 Make closing of connections more robust...
Date Fri, 21 Sep 2018 15:47:13 GMT
Github user FlorianHockmann commented on the issue:

    No, there is no reason for not merging this. I'm just currently on vacation. So, I can't
do it myself right now.
    But if you or anyone else wants to merge this, then feel free to do that.


View raw message