jainankitk commented on PR #13923: URL: https://github.com/apache/lucene/pull/13923#issuecomment-2833704578
> Hello @jainankitk , Can you merge this change? @vsop-479 - I don't have the permissions to merge, but I can see that Mike is involved now. He should be able to help get this change merged. Thanks for being patient! -- 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
