dist - Revision 68930: /release/tinkerpop/3.7.2

• ..
• apache-tinkerpop-3.7.2-src.zip
• apache-tinkerpop-3.7.2-src.zip.asc
• apache-tinkerpop-3.7.2-src.zip.sha512
• apache-tinkerpop-3.7.2-src.zip.sha512.sha512
• apache-tinkerpop-gremlin-console-3.7.2-bin.zip
• apache-tinkerpop-gremlin-console-3.7.2-bin.zip.asc
• apache-tinkerpop-gremlin-console-3.7.2-bin.zip.sha512
• apache-tinkerpop-gremlin-server-3.7.2-bin.zip
• apache-tinkerpop-gremlin-server-3.7.2-bin.zip.asc
• apache-tinkerpop-gremlin-server-3.7.2-bin.zip.sha512