uschindler commented on PR #12753:
URL: https://github.com/apache/lucene/pull/12753#issuecomment-1970919007
merged this as 8f17f23acf5c54baaea1361315d23f986f13c0f0
Closing, the DIFF view in this PR is now broken, sorry. No idea how to tell
github to use the original branch.
--
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
