spike-liu edited a comment on pull request #678: URL: https://github.com/apache/lucene/pull/678#issuecomment-1043674843
> Going ahead and merging this now since there's been no opposition (of course it could always be backed out later if someone did take strong issue with this). Thanks again @spike-liu ! It is my pleasure, Greg. Really appreciate your note of force pushing changes, which would save me a lot of time. -- 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
