mikemccand merged PR #12508:
URL: https://github.com/apache/lucene/pull/12508
--
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.
mikemccand commented on PR #12508:
URL: https://github.com/apache/lucene/pull/12508#issuecomment-1836443822
Woops, thank you for your attention to detail @lukas-vlcek! And sorry for
the crazy long time to respond. I'll merge this.
--
This is an automated message from the Apache Git Serv
