[GitHub] tinkerpop issue #725: TINKERPOP-1661 Docker-built documentation does not alw...

[dkuppitz]

Github user dkuppitz commented on the issue:

    https://github.com/apache/tinkerpop/pull/725
  
    @robertdale FYI: I just fixed the download in `tp32/` and `master/` and 
rebased this PR. Rebuilding the images should no longer be an issue.


---