Github user dkuppitz commented on the issue:

    https://github.com/apache/tinkerpop/pull/920
  
    I haven't done any extensive performance benchmarks, but the overall build 
time went down by 1 minute -- wohoo :)
    
    Anyway, `docker/build.sh -t -i` passed.
    
    VOTE +1


---

Reply via email to