rmuir commented on PR #12172: URL: https://github.com/apache/lucene/pull/12172#issuecomment-2017041764
The PR is not stale, see #13209 . I've been waiting on an official release to play it safe, but it has been too long: I think we should move forward here? I'd like to merge this after #13209 -- 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
