[tinkerpop] Git Push Summary

[jorgebg]

Repository: tinkerpop
Updated Branches:
  refs/heads/restore-glv-local-master [deleted] b82260b72