Re: [PR] Add javadoc note to LeafCollector#finish [lucene]

2023-10-13 Thread via GitHub
gsmiller merged PR #12643: URL: https://github.com/apache/lucene/pull/12643 -- 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.ap

Re: [PR] Add javadoc note to LeafCollector#finish [lucene]

2023-10-09 Thread via GitHub
gf2121 commented on code in PR #12643: URL: https://github.com/apache/lucene/pull/12643#discussion_r1351629111 ## lucene/core/src/java/org/apache/lucene/search/LeafCollector.java: ## @@ -125,6 +125,8 @@ default DocIdSetIterator competitiveIterator() throws IOException { * i

[PR] Add javadoc note to LeafCollector#finish [lucene]

2023-10-09 Thread via GitHub
gsmiller opened a new pull request, #12643: URL: https://github.com/apache/lucene/pull/12643 (no comment) -- 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-