You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@tinkerpop.apache.org by dk...@apache.org on 2018/04/12 18:05:09 UTC
[4/5] tinkerpop git commit: Merge branch 'TINKERPOP-1912' into
TINKERPOP-1912-tp33
Merge branch 'TINKERPOP-1912' into TINKERPOP-1912-tp33
Project: http://git-wip-us.apache.org/repos/asf/tinkerpop/repo
Commit: http://git-wip-us.apache.org/repos/asf/tinkerpop/commit/c31aa581
Tree: http://git-wip-us.apache.org/repos/asf/tinkerpop/tree/c31aa581
Diff: http://git-wip-us.apache.org/repos/asf/tinkerpop/diff/c31aa581
Branch: refs/heads/TINKERPOP-1912-tp33
Commit: c31aa581a87bfa5b6eb635c7eaa35a15ba5afb47
Parents: a4b7ac4 54df6dc
Author: Daniel Kuppitz <da...@hotmail.com>
Authored: Thu Apr 12 11:02:30 2018 -0700
Committer: Daniel Kuppitz <da...@hotmail.com>
Committed: Thu Apr 12 11:02:30 2018 -0700
----------------------------------------------------------------------
bin/validate-distribution.sh | 3 ++-
docs/src/dev/developer/release.asciidoc | 1 +
2 files changed, 3 insertions(+), 1 deletion(-)
----------------------------------------------------------------------
http://git-wip-us.apache.org/repos/asf/tinkerpop/blob/c31aa581/docs/src/dev/developer/release.asciidoc
----------------------------------------------------------------------