[GitHub] [tinkerpop] spmallette commented on issue #1237: Modifications for use of indexes in FILTER

2020-01-21 Thread GitHub
that could be a travis environmental inconsistency - i restarted the job. let's see if it passes. [ Full content available at: https://github.com/apache/tinkerpop/pull/1237 ] This message was relayed via gitbox.apache.org for dev@tinkerpop.apache.org

[GitHub] [tinkerpop] spmallette commented on issue #1237: Modifications for use of indexes in FILTER

2020-01-21 Thread GitHub
@thevalzo i just thought that i'd alert you to the fact that we will be preparing for release of 3.4.5 next week. if you'd like to see this change in that version we would need to sort though this pull request by the end of this week. i'm not trying to pressure you of course...i just wanted to l