I'd like to call attention to the fact that we're backed up pretty badly on pull requests. There is quite the glut of them out there right now. Could committers please find some time to do some reviews today so that we can get some of these closed?
I'm not sure that there is any real priority here, but the following just need one more vote to get merged: https://github.com/apache/tinkerpop/pull/569 https://github.com/apache/tinkerpop/pull/583 https://github.com/apache/tinkerpop/pull/592 https://github.com/apache/tinkerpop/pull/593 https://github.com/apache/tinkerpop/pull/595 https://github.com/apache/tinkerpop/pull/596 Thanks, Stephen
