jprinet commented on PR #414: URL: https://github.com/apache/lucene/pull/414#issuecomment-1790708355
As far as I remember, all the relevant changes were integrated in: I think this one has been superseded by https://github.com/apache/lucene/pull/421 See the Jira issue for more context: https://issues.apache.org/jira/browse/LUCENE-10195 This PR should probably just be closed. -- 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