Hello all. Let me ping. I've made a first PR in Lucene. https://github.com/apache/lucene/pull/12882 and approved it. Do I still have anything to do for this PR? If not, could you merge it or let me know when will it be merged?
Thank you!
Hello all. Let me ping. I've made a first PR in Lucene. https://github.com/apache/lucene/pull/12882 and approved it. Do I still have anything to do for this PR? If not, could you merge it or let me know when will it be merged?
Thank you!