jpountz commented on PR #12055: URL: https://github.com/apache/lucene/pull/12055#issuecomment-1434808901
My attention has moved to a few other things, feel free to do whatever you want with this PR, I'll be happy to review. +1 on the nice property of gradually moving from a lazy disjunction to eager evaluation, this is what I was after with this change! -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org For additional commands, e-mail: issues-h...@lucene.apache.org
