yes. it will get merged. typically we need 3 +1s from committers OR a single +1 and a seven day waiting period for objections:
http://tinkerpop.apache.org/docs/current/dev/developer/#rtc either way, should merge shortly. as it's a small change i could probably just merge it given florian's feedback, but since it's close to both a third +1 and the 7 day period i think i'll just wait it out. [ Full content available at: https://github.com/apache/tinkerpop/pull/1057 ] This message was relayed via gitbox.apache.org for [email protected]
