This is an automated email from the ASF dual-hosted git repository.
spmallette pushed a change to branch master
in repository https://gitbox.apache.org/repos/asf/tinkerpop.git
from 7812e0d8b0 Restore terminal echo after process-docs.sh completes
new ed8c0b4ee3 Move tinkerpop-docs from tools/ to docs/
new 89bc2930dc Restore terminal echo after process-docs.sh completes
new 341eba74ff Merge branch '3.7-dev' into 3.8-dev
new bcf238090b Merge branch '3.8-dev'
The 4 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "add" were already present in the repository and have only
been added to this reference.
Summary of changes:
